diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2010-02-15 11:00:02 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2010-02-15 11:00:02 +0000 |
commit | 513d653d68a80f9bdd0cb9724643fdbea5646e4b (patch) | |
tree | 57a43348481ed00412af5c0c5e56b6b751b97437 /pkgs/servers/monitoring/zabbix | |
parent | 43e167641f7cd3cb676bc5ff87d2819ccbfb13fe (diff) | |
download | nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.tar nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.tar.gz nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.tar.bz2 nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.tar.lz nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.tar.xz nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.tar.zst nixlib-513d653d68a80f9bdd0cb9724643fdbea5646e4b.zip |
Add HOL Light and its dependencies.
Add pkgs/applications/science/logic/hol_light and pkgs/applications/science/emacs-modes/hol_light Some functionalities of HOL Light requires the compiled sources of OCaml. For now we provide a new package ocaml_with_sources. After this shuold be merged with the current version of OCaml already present in nixpkgs. svn path=/nixpkgs/trunk/; revision=20008
Diffstat (limited to 'pkgs/servers/monitoring/zabbix')
0 files changed, 0 insertions, 0 deletions