From 89720d851aafe7be2aafc129fd729941a4db18af Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 20 Oct 2017 16:29:00 -0700
Subject: coqPackages_8_7: New expression, but don't make it the default yet

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

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

diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix
index 65be1f4e066..aec3828f323 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 param = {
+  "8.7" = {
+    version = "0.6.1";
+    rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663";
+    sha256 = "1jaafkwsb5450378nprjsds1illgdaq60gryi8kspw0i25ykz2c9";
+  };
   "8.6" = {
     version = "0.6.1";
     rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663";
-- 
cgit 1.4.1