Merge pull request #3209 from palmskog/tlc-not-8.20

various tlc are not compatible
coq · Nov 19, 2024 · 7e9a87f · 7e9a87f
2 parents 4f5b70d + 9289b9e
commit 7e9a87f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/released/packages/coq-tlc/coq-tlc.20211215/opam b/released/packages/coq-tlc/coq-tlc.20211215/opam
@@ -15,7 +15,7 @@ Provides an alternative to the core of the Coq standard library, using classic d
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { >= "8.13" }
+  "coq" { >= "8.13" & < "8.17" }
 ]
 
 tags: [

diff --git a/released/packages/coq-tlc/coq-tlc.20240209/opam b/released/packages/coq-tlc/coq-tlc.20240209/opam
@@ -15,7 +15,7 @@ Provides an alternative to the core of the Coq standard library, using classic d
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { >= "8.17" }
+  "coq" { >= "8.17" & < "8.20" }
 ]
 
 tags: [