From 2f9248841c06cf94f9e10ce75d957690358b2ced Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Mon, 16 Oct 2023 16:16:58 +0200
Subject: [PATCH] coq-unicoq.1.6+8.18 is not compatible with 8.17

---
 released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam b/released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam
index 2145f889fa..fd435cb01a 100644
--- a/released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam
+++ b/released/packages/coq-unicoq/coq-unicoq.1.6+8.18/opam
@@ -14,7 +14,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.17" & < "8.19~"}
+  "coq" {>= "8.18" & < "8.19~"}
 ]
 synopsis: "An enhanced unification algorithm for Coq"
 tags: [