[coq-rewriter] Bump minimal version to 8.18

We don't test 8.17 on our CI anymore, so it probably doesn't work.
coq · Jan 28, 2025 · c60b4f2 · c60b4f2
1 parent 7ee1240
commit c60b4f2
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"