summary refs log tree commit diff
path: root/pkgs/top-level/ocaml-packages.nix
diff options
context:
space:
mode:
authorJörg Thalheim <joerg@thalheim.io>2018-10-28 20:43:34 +0000
committerJörg Thalheim <joerg@thalheim.io>2018-10-30 13:31:11 +0000
commitb5ad6154743436b5acc791ccec5cde4be36dd18b (patch)
tree32111c5603c4acbdf9bbe1d5748b8bf3ed6b345d /pkgs/top-level/ocaml-packages.nix
parent1d8794e16ecd92e5e3174fca69964bdbd2c8d110 (diff)
downloadnixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar
nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.gz
nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.bz2
nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.lz
nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.xz
nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.tar.zst
nixlib-b5ad6154743436b5acc791ccec5cde4be36dd18b.zip
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r--pkgs/top-level/ocaml-packages.nix10
1 files changed, 0 insertions, 10 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 62b773c51bf6..2f6992e1c9a5 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1024,16 +1024,6 @@ let
 
     omake_rc1 = callPackage ../development/tools/ocaml/omake/0.9.8.6-rc1.nix { };
 
-    verasco = callPackage ../development/tools/analysis/verasco ((
-      if system == "x86_64-linux"
-      then { tools = pkgs.pkgsi686Linux.stdenv.cc; }
-      else {}
-    ) // {
-      menhir = callPackage ../development/ocaml-modules/menhir {
-        version = "20170712";
-      };
-    });
-
     google-drive-ocamlfuse = callPackage ../applications/networking/google-drive-ocamlfuse { };