Skip to content
Snippets Groups Projects
Commit c2543325 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] remove camlp5 from Why3

parent 09840deb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 2 deletions
nix/why3.nix
+ 0
− 2
View file @ c2543325
...@@ -14,7 +14,6 @@ ...@@ -14,7 +14,6 @@
, ppx_deriving , ppx_deriving
, ppx_sexp_conv , ppx_sexp_conv
, camlzip , camlzip
, camlp5
, sexplib , sexplib
, re , re
, num , num
...@@ -57,7 +56,6 @@ stdenv.mkDerivation rec { ...@@ -57,7 +56,6 @@ stdenv.mkDerivation rec {
# Coq Support # Coq Support
coqPackages.coq coqPackages.coq
coqPackages.flocq coqPackages.flocq
camlp5
]; ];
propagatedBuildInputs = [ camlzip num re sexplib ]; propagatedBuildInputs = [ camlzip num re sexplib ];
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment