Merge pull request #3318 from coq/coq-rewriter-dev-bump-version

[coq-rewriter] Bump minimal version to 8.18
coq · Jan 31, 2025 · 62e672e · 62e672e
2 parents f73cede + c60b4f2
commit 62e672e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extra-dev/packages/coq-rewriter/coq-rewriter.dev/opam b/extra-dev/packages/coq-rewriter/coq-rewriter.dev/opam
@@ -14,7 +14,7 @@ install: [make "install"]
 depends: [
   "conf-findutils" {build}
   "ocaml" {build & (arch = "x86_32" | arch = "x86_64" | >= "4.14.0")}
-  "coq" {>= "8.17~"}
+  "coq" {>= "8.18~"}
 ]
 dev-repo: "git+https://github.com/mit-plv/rewriter.git"
 synopsis: "Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography"