From 6ae9acd2bf250f4a8bd93256cb2c400ab51b6ae1 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 20 Aug 2023 14:36:34 +0200
Subject: [PATCH 1/2] update bounds for jmlcoq and almost-full

---
 released/packages/coq-almost-full/coq-almost-full.8.14.0/opam | 2 +-
 released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/released/packages/coq-almost-full/coq-almost-full.8.14.0/opam b/released/packages/coq-almost-full/coq-almost-full.8.14.0/opam
index 691940628..4d0ecf2f4 100644
--- a/released/packages/coq-almost-full/coq-almost-full.8.14.0/opam
+++ b/released/packages/coq-almost-full/coq-almost-full.8.14.0/opam
@@ -14,7 +14,7 @@ Theorem, useful for proving termination."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10" & < "8.16~"}
+  "coq" {>= "8.10" & < "8.19~"}
 ]
 
 tags: [
diff --git a/released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam b/released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam
index b403f6ae3..09dded308 100644
--- a/released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam
+++ b/released/packages/coq-jmlcoq/coq-jmlcoq.8.15.0/opam
@@ -15,7 +15,7 @@ verified runtime assertion checker for JML."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10" & < "8.17~"}
+  "coq" {>= "8.10" & < "8.19~"}
 ]
 
 tags: [

From c8e397830dc4548e729dd6d8a96ca0858c60d388 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 20 Aug 2023 15:30:34 +0200
Subject: [PATCH 2/2] bump lower bound for coq-ott.0.33

---
 released/packages/coq-ott/coq-ott.0.33/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-ott/coq-ott.0.33/opam b/released/packages/coq-ott/coq-ott.0.33/opam
index 96156ab21..17027ef6e 100644
--- a/released/packages/coq-ott/coq-ott.0.33/opam
+++ b/released/packages/coq-ott/coq-ott.0.33/opam
@@ -17,7 +17,7 @@ this library.
 build: [make "-j%{jobs}%" "-C" "coq"]
 install: [make "-C" "coq" "install"]
 depends: [
-  "coq" {>= "8.5.3"}
+  "coq" {>= "8.6"}
 ]
 conflicts: [
   "ott" { != version }