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 | nixpkgs-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar nixpkgs-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.gz nixpkgs-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.bz2 nixpkgs-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.lz nixpkgs-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.xz nixpkgs-b3ed2b4c182502c56053bd9aa491aa7e8ca5da28.tar.zst nixpkgs-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 3a3f1b30147..16e2192d312 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 {}; |