From 3dc5278e22f8ce3aa5cd7891c54df90da2f6806f Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Tue, 22 Aug 2023 11:28:22 +0200
Subject: [PATCH] allow Coq 8.18 for coq-coqprime.1.3.0 and coq-libhyps.2.0.6

---
 released/packages/coq-coqprime/coq-coqprime.1.3.0/opam | 2 +-
 released/packages/coq-libhyps/coq-libhyps.2.0.6/opam   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam b/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
index 2b2660998..891237c2f 100644
--- a/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
+++ b/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.16~" & < "8.18"}
+  "coq" {>= "8.16~" & < "8.19"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"
diff --git a/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam b/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
index 6b70cb903..5961fb50c 100644
--- a/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
+++ b/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
@@ -16,7 +16,7 @@ build: [
 install: [make "install"]
 
 depends: [
-  "coq" {(>= "8.11" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.11" & < "8.19~") | (= "dev")}
 ]
 
 tags: [