From e50c3d11d2155ba907fe3b92b30fc1b8e6e26569 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Thu, 14 Oct 2021 17:15:00 +0200
Subject: [PATCH] opam: bump up supported Coq version
---
coq-prosa.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 0a74e45b0..9295e623d 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -13,7 +13,7 @@ build: [
]
install: [make "install"]
depends: [
- "coq" {((>= "8.13" & < "8.14~") | = "dev")}
+ "coq" {((>= "8.13" & < "8.15~") | = "dev")}
"coq-mathcomp-ssreflect" {((>= "1.12" & < "1.13~") | = "dev")}
]
--
GitLab