diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-01-26 18:32:11 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-01-29 08:43:15 +0100 |
| commit | 58297aa1e7d16afadd00ba0d412d80f4567bb40d (patch) | |
| tree | fc6470e1cd8119329b88f23a02803f70be3d5943 /pkgs/applications/science/logic/why3 | |
| parent | 78980ea300a09f4bc8f438475017eec0b454932d (diff) | |
Why3: build also the Coq tactic.
Diffstat (limited to 'pkgs/applications/science/logic/why3')
| -rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 70149522393a0..228d1a7c4d40a 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -10,7 +10,7 @@ stdenv.mkDerivation rec { }; buildInputs = with ocamlPackages; - [ coq ocaml findlib lablgtk ocamlgraph zarith ]; + [ coq coq.camlp5 ocaml findlib lablgtk ocamlgraph zarith ]; meta = with stdenv.lib; { description = "A platform for deductive program verification"; |