1 files changed, 17 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix
index 0dec05ebd3f5..9dbc3a3f2991 100644
--- a/pkgs/development/coq-modules/dpdgraph/default.nix
+++ b/pkgs/development/coq-modules/dpdgraph/default.nix
@@ -1,15 +1,27 @@
-{ stdenv, fetchFromGitHub, coq, ocamlPackages }:
+{ stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }:
+
+let param = {
+  "8.6" = {
+    version = "0.6.1";
+    rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663";
+    sha256 = "1jaafkwsb5450378nprjsds1illgdaq60gryi8kspw0i25ykz2c9";
+  };
+  "8.5" = {
+    version = "0.6";
+    rev = "v0.6";
+    sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n";
+  };
+}."${coq.coq-version}"; in
 
 stdenv.mkDerivation {
-  name = "coq${coq.coq-version}-dpdgraph-0.5";
+  name = "coq${coq.coq-version}-dpdgraph-${param.version}";
   src = fetchFromGitHub {
     owner = "Karmaki";
     repo = "coq-dpdgraph";
-    rev = "227a6a28bf11cf1ea56f359160558965154dd176";
-    sha256 = "1vxf7qq37mnmlclkr394147xvrky3p98ar08c4wndwrp41gfbxhq";
+    inherit (param) rev sha256;
   };
 
-  buildInputs = [ coq ]
+  buildInputs = [ autoreconfHook coq ]
   ++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]);
 
   preInstall = ''