about summary refs log tree commit diff
path: root/pkgs/top-level/ocaml-packages.nix
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2017-07-08 08:52:02 +0200
committerVincent Laporte <Vincent.Laporte@gmail.com>2017-07-08 08:52:02 +0200
commiteb2be6d97e30559dda2ae4855a5431db42d4e2fa (patch)
tree1a94aaa0da1d9a26c10619e9467c8d36c7ffd8e5 /pkgs/top-level/ocaml-packages.nix
parent4523f0251f888f1ad0d272da9c9ee9bb681d7193 (diff)
downloadnixlib-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/ocaml-packages.nix')
-rw-r--r--pkgs/top-level/ocaml-packages.nix2
1 files changed, 0 insertions, 2 deletions
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 { };