coqPackages.coq-ext-lib: clean dependencies
This commit is contained in:
parent
13126ce0a0
commit
ddb2c7779e
@ -26,8 +26,7 @@ stdenv.mkDerivation rec {
|
||||
inherit (param) sha256;
|
||||
};
|
||||
|
||||
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 ];
|
||||
propagatedBuildInputs = [ coq ];
|
||||
buildInputs = [ coq ];
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user