From 86683cc0290333c15717abba129d8c51a342183d Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sat, 14 Oct 2023 12:41:19 +0200
Subject: [PATCH] upper bounds for coq-regexp-brzozowski.1.0.0

---
 .../coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam    | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/released/packages/coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam b/released/packages/coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam
index de3c8796aa..a81a352b8a 100644
--- a/released/packages/coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam
+++ b/released/packages/coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam
@@ -16,9 +16,9 @@ of regular expressions for correctness."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10"}
-  "coq-mathcomp-ssreflect" {>= "1.12.0"}
-  "coq-reglang" {>= "1.1.3"}
+  "coq" {>= "8.10" & < "8.17~"}
+  "coq-mathcomp-ssreflect" {>= "1.12.0" & < "1.16.0"}
+  "coq-reglang" {>= "1.1.3" & < "1.2.0"}
 ]
 
 tags: [