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 | |
parent | 78980ea300a09f4bc8f438475017eec0b454932d (diff) | |
download | nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.tar nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.tar.gz nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.tar.bz2 nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.tar.lz nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.tar.xz nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.tar.zst nixlib-58297aa1e7d16afadd00ba0d412d80f4567bb40d.zip |
Why3: build also the Coq tactic.
Diffstat (limited to 'pkgs')
-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 70149522393a..228d1a7c4d40 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"; |