| commit | 1ed2297c4d2c6145359f679510be0ccc39e351e1 | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Mon, 15 Feb 2010 11:00:02 +0000 (15 11:00 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Mon, 15 Feb 2010 11:00:02 +0000 (15 11:00 +0000) | ||
| tree | 57a43348481ed00412af5c0c5e56b6b751b97437 | treesnapshot (tar.gz zip) |
| parent | ef91e937c533a3df5e50a593b31133bd6c97a430 | commitdiff |
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.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@20008 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
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.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@20008 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/editors/emacs-modes/hol_light/default.nix | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/hol_light/binaries.nix | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/hol_light/configure-3.09.3 | [new file with mode: 0755] | blob |
| pkgs/applications/science/logic/hol_light/default.nix | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/hol_light/ocaml-with-sources.nix | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/hol_light/selfcheckpoint_complex.ml | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/hol_light/selfcheckpoint_core.ml | [new file with mode: 0644] | blob |
| pkgs/applications/science/logic/hol_light/selfcheckpoint_multivariate.ml | [new file with mode: 0644] | blob |
| pkgs/top-level/all-packages.nix | diffblobblamehistory |