From b6d4c71e34dce5e2257f176501db49457f2e19c8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 29 May 2020 09:27:03 +0200
Subject: [PATCH] permit building with Coq 8.12
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index a339b964..df35d5bf 100644
--- a/opam
+++ b/opam
@@ -30,7 +30,7 @@ The key features of this library are as follows:
"""
depends: [
- "coq" { (= "8.7.2") | (= "8.8.2") | (>= "8.9.1" & < "8.12~") | (= "dev") }
+ "coq" { (= "8.7.2") | (= "8.8.2") | (>= "8.9.1" & < "8.13~") | (= "dev") }
]
build: [make "-j%{jobs}%"]
--
GitLab