Merge pull request #3193 from proux01/elpi-ocaml-lb

[extra-dev] Update coq-elpi.dev lower bound on ocaml
coq · Oct 30, 2024 · 46dec50 · 46dec50
2 parents 4ce4dbe + 2bfd660
commit 46dec50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
@@ -16,7 +16,7 @@ homepage: "https://github.com/LPCIC/coq-elpi"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
   "dune" {>= "3.13"}
-  "ocaml" {>= "4.09.0"}
+  "ocaml" {>= "4.10.0"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.20.0~"}
   "coq" {= "dev"}