We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 60dce42 commit bdb88a3Copy full SHA for bdb88a3
default.nix
@@ -19,7 +19,7 @@ let coq-haskell = coqPackages:
19
else ./.;
20
21
buildInputs = [
22
- coq coq.ocaml coq.camlp5 coq.findlib
+ coq coq.ocaml coq.camlp5 coq.findlib pkgs.perl
23
];
24
enableParallelBuilding = true;
25
0 commit comments