diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-07-08 08:52:02 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-07-08 08:52:02 +0200 |
| commit | eb2be6d97e30559dda2ae4855a5431db42d4e2fa (patch) | |
| tree | 1a94aaa0da1d9a26c10619e9467c8d36c7ffd8e5 /pkgs/top-level | |
| parent | 4523f0251f888f1ad0d272da9c9ee9bb681d7193 (diff) | |
| download | nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.tar nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.tar.gz nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.tar.bz2 nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.tar.lz nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.tar.xz nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.tar.zst nixlib-eb2be6d97e30559dda2ae4855a5431db42d4e2fa.zip | |
acgtk: 1.1 -> 1.3.1
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 | ||||
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 350180b5dc6e..5b1f5d4f61c2 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -17927,6 +17927,10 @@ with pkgs; abella = callPackage ../applications/science/logic/abella {}; + acgtk = callPackage ../applications/science/logic/acgtk { + ocamlPackages = ocamlPackages_4_03; + }; + alt-ergo = callPackage ../applications/science/logic/alt-ergo { ocamlPackages = ocamlPackages_4_02; }; diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index fea8fe05babd..d7a6c6cb63d8 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -15,8 +15,6 @@ let buildOcaml = callPackage ../build-support/ocaml { }; - acgtk = callPackage ../applications/science/logic/acgtk { }; - alcotest = callPackage ../development/ocaml-modules/alcotest {}; angstrom = callPackage ../development/ocaml-modules/angstrom { }; |