Bump to 8.13

uds-psl · Dec 15, 2020 · 1906121 · 1906121
1 parent 492d612
commit 1906121
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.12" & < "8.13~" }
+  "coq" { >= "8.13" & < "8.14~" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """