public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Why3: build also the Coq tactic.

Browse Source
This commit is contained in:
Vincent Laporte 2015-01-26 18:32:11 +01:00
parent 78980ea300
commit 58297aa1e7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/why3/default.nix
View File

@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
}; };
buildInputs = with ocamlPackages; buildInputs = with ocamlPackages;
[ coq ocaml findlib lablgtk ocamlgraph zarith ]; [ coq coq.camlp5 ocaml findlib lablgtk ocamlgraph zarith ];
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A platform for deductive program verification"; description = "A platform for deductive program verification";