From 1459b2dffa8336872f5b1f10cfcb1f1f36d8e490 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Thu, 5 Jul 2018 15:16:42 -0700
Subject: coqPackages.equations: Add support for Coq 8.8

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

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

diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix
index 1867d960566..ec5491622bb 100644
--- a/pkgs/development/coq-modules/equations/default.nix
+++ b/pkgs/development/coq-modules/equations/default.nix
@@ -14,6 +14,12 @@ let param =
       sha256 = "1bavg4zl1xn0jqrdq8iw7xqzdvdf39ligj9saz5m9c507zri952h";
     };
 
+    "8.8" = {
+      version = "1.0";
+      rev = "v1.0-8.8";
+      sha256 = "129rxsdsf88vjcw0xhm74yax1hmnk6f8n9ksg0hcyyjq1ijddiwa";
+    };
+
   }."${coq.coq-version}"
 ; in
 
-- 
cgit 1.4.1