diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-10-22 22:45:03 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-10-30 02:02:19 +0100 |
commit | 51e68732f95049a04789a7a021533765d39ce110 (patch) | |
tree | ce82ab0baf5464407052907cd0e7caade983443e /pkgs/development | |
parent | 14291c2723aaa0c3d369258e5b47ad40b2382133 (diff) | |
download | nixlib-51e68732f95049a04789a7a021533765d39ce110.tar nixlib-51e68732f95049a04789a7a021533765d39ce110.tar.gz nixlib-51e68732f95049a04789a7a021533765d39ce110.tar.bz2 nixlib-51e68732f95049a04789a7a021533765d39ce110.tar.lz nixlib-51e68732f95049a04789a7a021533765d39ce110.tar.xz nixlib-51e68732f95049a04789a7a021533765d39ce110.tar.zst nixlib-51e68732f95049a04789a7a021533765d39ce110.zip |
coqPackages.dpdgraph: remove support for coq 8.7
coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported upstream.
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index aec3828f323e..65be1f4e0667 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -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"; |