and a corresponding opam

uds-psl · Jan 30, 2024 · 0d95f66 · 0d95f66
1 parent b553c56
commit 0d95f66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-autosubst-ocaml.opam b/coq-autosubst-ocaml.opam
@@ -16,7 +16,7 @@ license: "MIT"
 
 depends: [
   "ocaml" { >= "4.09" & < "4.15" }
-  "coq" { >= "8.19.0" & < "8.20" }
+  "coq" { >= "8.19" & < "8.20" }
   "angstrom" { >= "0.15.0" }
   "dune" { >= "2.5" }
   "ocamlgraph" { >= "2.0.0" }