diff options
author | cillianderoiste <cillian.deroiste@gmail.com> | 2014-10-28 16:58:59 +0100 |
---|---|---|
committer | cillianderoiste <cillian.deroiste@gmail.com> | 2014-10-28 16:58:59 +0100 |
commit | 24bb677ece1bf85d3744a2bc720d100ff92f5158 (patch) | |
tree | c955a578b8c068e1d9df8b91bf0aeeb6a1f08283 /pkgs/top-level | |
parent | e7bfcdac0535da9203b6c4bb3ef7893965c83474 (diff) | |
parent | ceba23605c35de2a1eb41ac1a951036389f3238a (diff) | |
download | nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.tar nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.tar.gz nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.tar.bz2 nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.tar.lz nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.tar.xz nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.tar.zst nixlib-24bb677ece1bf85d3744a2bc720d100ff92f5158.zip |
Merge pull request #4697 from jirkamarsik/acgtk
Added acgtk-1.1 and dependencies ansiterminal-0.6.5 and bolt-1.4
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a8e8aefa5c53..f78bf1562aa9 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3482,6 +3482,12 @@ let in rec { inherit ocaml; + acgtk = callPackage ../applications/science/logic/acgtk { }; + + ansiterminal = callPackage ../development/ocaml-modules/ansiterminal { }; + + bolt = callPackage ../development/ocaml-modules/bolt { }; + camlidl = callPackage ../development/tools/ocaml/camlidl { }; camlp4 = |