update opam

uds-psl · Jan 25, 2024 · e6a21f2 · e6a21f2
1 parent ec83cac
commit e6a21f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.16" | = "dev" }
+  "coq" { >= "8.18" | = "dev" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """