diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-11-12 08:49:09 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-11-12 08:50:36 -0800 |
| commit | b2418ca598291779b6f20da2a682c11ef8965ada (patch) | |
| tree | 4d3f955abe054537b9df541d21bb54754595b0c9 /pkgs/development/coq-modules/dpdgraph/default.nix | |
| parent | 228dd9defb4b6d418a511ecda98c345963fea880 (diff) | |
coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 65be1f4e0667..425ab408c8c6 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -1,6 +1,11 @@ { stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }: let param = { + "8.7" = { + version = "0.6.2"; + rev = "d76ddde37d918569945774733b7997e8b24daf51"; + sha256 = "04lnf4b25yarysj848cfl8pd3i3pr3818acyp9hgwdgd1rqmhjwm"; + }; "8.6" = { version = "0.6.1"; rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663"; @@ -22,7 +27,7 @@ stdenv.mkDerivation { }; nativeBuildInputs = [ autoreconfHook ]; - buildInputs = [ coq ] + buildInputs = [ coq coq.camlp5 ] ++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]); preInstall = '' |