Merge pull request #2693 from palmskog/flocq-4.1.1-8.18

coq-flocq.4.1.1 not compatible with 8.18
coq · Sep 1, 2023 · cacfdaf · cacfdaf
2 parents 7064aef + 9d0b8d9
commit cacfdaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-flocq/coq-flocq.4.1.1/opam b/released/packages/coq-flocq/coq-flocq.4.1.1/opam
@@ -11,7 +11,7 @@ build: [
 ]
 install: ["./remake" "install"]
 depends: [
-  "coq" {>= "8.12"}
+  "coq" {>= "8.12" & < "8.18"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]