CertiCoq dev with Coq 8.19

coq · Dec 4, 2024 · 55254ee · 55254ee
1 parent 97d1ade
commit 55254ee
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam b/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam
@@ -30,13 +30,14 @@ install: [
 ]
 depends: [
   "ocaml"
+  "conf-clang"
   "stdlib-shims"
-  "coq" {>= "8.17" & < "8.18~"}
-  "coq-compcert" {= "3.12"}
-  "coq-equations" {= "1.3+8.17"}
-  "coq-metacoq-erasure-plugin" {= "8.17.dev"}
-  "coq-metacoq-safechecker-plugin" {= "8.17.dev"}
-  "coq-ext-lib" {>= "0.11.8"}
+  "coq" {>= "8.19" & < "8.20~"}
+  "coq-compcert" {= "3.13.1"}
+  "coq-equations" {= "1.3+8.19"}
+  "coq-metacoq-erasure-plugin" {= "1.3.2+8.19"}
+  "coq-metacoq-safechecker-plugin" {= "1.3.2+8.19"}
+  "coq-ext-lib" {>= "0.12"}
 ]
 
 synopsis: "A Verified Compiler for Gallina, Written in Gallina "