From befc29454b6057969ebfc3cbd338c2e55d94114f Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 12 Jan 2017 21:23:18 +0000
Subject: coqPackages.dpdgraph: 0.5 -> 0.6{,.1}

---
 pkgs/development/coq-modules/dpdgraph/default.nix | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

(limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')

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 = ''
-- 
cgit 1.4.1