From 6845b248d9c1f897609aa2e1a55302b0475351d4 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 21 Mar 2018 14:00:47 +0000
Subject: coq: init at 8.8+beta1

---
 pkgs/development/coq-modules/ssreflect/generic.nix | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/pkgs/development/coq-modules/ssreflect/generic.nix b/pkgs/development/coq-modules/ssreflect/generic.nix
index c598345403db..ca20e17dd50e 100644
--- a/pkgs/development/coq-modules/ssreflect/generic.nix
+++ b/pkgs/development/coq-modules/ssreflect/generic.nix
@@ -42,4 +42,8 @@ stdenv.mkDerivation {
     platforms = coq.meta.platforms;
   };
 
+  passthru = {
+    compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];
+  };
+
 }
-- 
cgit 1.4.1