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

coqPackages.dpdgraph: remove support for coq 8.7

Browse Source 
coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported
upstream.
This commit is contained in:
Maxime Dénès 2017-10-22 22:45:03 +02:00 committed by Vincent Laporte
parent 14291c2723
commit 51e68732f9
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/coq-modules/dpdgraph/default.nix
View File

@ -1,11 +1,6 @@
{ 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";