menhir 202

groupoid · Jul 6, 2021 · 92a6d68 · 92a6d68
1 parent 00f80ec
commit 92a6d68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/anders.opam b/anders.opam
@@ -14,7 +14,7 @@ license: "ISC"
 depends: [
   "dune" {>= "2.0"}
   "ocaml" {>= "4.10"}
-  "menhir" {>= "2.7"}
+  "menhir" {>= "20200123"}
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]