From 3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Sun, 8 Jul 2018 11:13:27 +0000
Subject: coqPackages.equations: enable for Coq 8.8

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

diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix
index ec5491622bb4..fa17d37b4bd3 100644
--- a/pkgs/development/coq-modules/equations/default.nix
+++ b/pkgs/development/coq-modules/equations/default.nix
@@ -1,7 +1,7 @@
 { stdenv, fetchFromGitHub, coq }:
 
-let param =
-  {
+let
+  params = {
     "8.6" = {
       version = "1.0";
       rev = "v1.0";
@@ -17,11 +17,11 @@ let param =
     "8.8" = {
       version = "1.0";
       rev = "v1.0-8.8";
-      sha256 = "129rxsdsf88vjcw0xhm74yax1hmnk6f8n9ksg0hcyyjq1ijddiwa";
+      sha256 = "0dd7zd5j2sv5cw3mfwg33ss2vcj634q3qykakc41sv7f3rfgqfnn";
     };
-
-  }."${coq.coq-version}"
-; in
+  };
+  param = params."${coq.coq-version}";
+in
 
 stdenv.mkDerivation rec {
 
@@ -49,7 +49,7 @@ stdenv.mkDerivation rec {
   };
 
   passthru = {
-    compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" ];
+    compatibleCoqVersions = v: builtins.hasAttr v params;
   };
 
 }
-- 
cgit 1.4.1