From 1276e82c2ec22fc17c14f6d1a5933acf87320e7b Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 2 May 2018 15:14:22 +0000
Subject: coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8

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

(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 390ced8fdad3..5b9437e7c279 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 params = {
+  "8.8" = {
+    version = "0.6.3";
+    rev = "0acbd0a594c7e927574d5f212cc73a486b5305d2";
+    sha256 = "0c95b0bz2kjm6swr5na4gs06lxxywradszxbr5ldh2zx02r3f3rx";
+  };
   "8.7" = {
     version = "0.6.2";
     rev = "d76ddde37d918569945774733b7997e8b24daf51";
-- 
cgit 1.4.1