diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-11-04 17:09:34 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-04 17:09:34 +0000 |
| commit | b3ed2b4c182502c56053bd9aa491aa7e8ca5da28 (patch) | |
| tree | 4f135ca952f84a32095aadc9726bac6ef3336522 /pkgs/top-level | |
| parent | 0aa4a4535819890745098e174c59c06118209817 (diff) | |
| parent | 08ac10397079217ce6118586822e7f42686ed6b9 (diff) | |
| download | nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.gz nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.bz2 nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.lz nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.xz nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.zst nixlib-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.zip | |
Merge pull request #49728 from vbgl/acgtk-1.5.0
acgtk: 1.3.1 -> 1.5.0
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3a3f1b301471..16e2192d3128 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -21340,9 +21340,7 @@ with pkgs; abella = callPackage ../applications/science/logic/abella {}; - acgtk = callPackage ../applications/science/logic/acgtk { - ocamlPackages = ocaml-ng.ocamlPackages_4_05; - }; + acgtk = callPackage ../applications/science/logic/acgtk {}; alt-ergo = callPackage ../applications/science/logic/alt-ergo {}; |