CertiCoq 0.9 ExtLib upper bound

coq · Jan 11, 2024 · 46ff95a · 46ff95a
1 parent 81998fd
commit 46ff95a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-certicoq/coq-certicoq.0.9~beta+8.14/opam b/released/packages/coq-certicoq/coq-certicoq.0.9~beta+8.14/opam
@@ -31,7 +31,7 @@ depends: [
   "coq-compcert" {= "3.11"}
   "coq-equations" {= "1.3+8.14"}
   "coq-metacoq-erasure" {>= "1.1.1+8.14" }
-  "coq-ext-lib" {>= "0.11.5"}
+  "coq-ext-lib" {>= "0.11.5" < "0.12.1"}
 ]
 
 synopsis: "A Verified Compiler for Gallina, Written in Gallina "