diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-10-20 16:29:00 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-10-22 12:43:27 -0700 |
| commit | 89720d851aafe7be2aafc129fd729941a4db18af (patch) | |
| tree | f2d770c5e0cef7b99dc506f33a11a3ec33496c9c /pkgs/development/coq-modules/dpdgraph | |
| parent | 4333b94ae58751123780fcc239fdf7599b7121dc (diff) | |
| download | nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.tar nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.tar.gz nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.tar.bz2 nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.tar.lz nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.tar.xz nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.tar.zst nixpkgs-89720d851aafe7be2aafc129fd729941a4db18af.zip | |
coqPackages_8_7: New expression, but don't make it the default yet
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph')
| -rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 65be1f4e066..aec3828f323 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.1"; + rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663"; + sha256 = "1jaafkwsb5450378nprjsds1illgdaq60gryi8kspw0i25ykz2c9"; + }; "8.6" = { version = "0.6.1"; rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663"; |