diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2018-10-28 20:43:34 +0000 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2018-10-30 13:31:11 +0000 |
commit | b5ad6154743436b5acc791ccec5cde4be36dd18b (patch) | |
tree | 32111c5603c4acbdf9bbe1d5748b8bf3ed6b345d /pkgs/top-level/ocaml-packages.nix | |
parent | 1d8794e16ecd92e5e3174fca69964bdbd2c8d110 (diff) | |
download | nixlib-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.nix | 10 |
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 { }; |