Skip to content

Commit 540aa90

Browse files
authored
aifad.2.3.0: add menhir lower bound (uses --infer-write-query)
1 parent 1f677ff commit 540aa90

File tree

1 file changed

+1
-1
lines changed
  • packages/aifad/aifad.2.3.0

1 file changed

+1
-1
lines changed

packages/aifad/aifad.2.3.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ bug-reports: "https://github.com/mmottl/aifad/issues"
1313
depends: [
1414
"dune" {>= "2.7"}
1515
"ocaml" {>= "4.04"}
16-
"menhir"
16+
"menhir" {>= "20180523"}
1717
"res"
1818
"pcre"
1919
"cfg" {>= "2.1"}

0 commit comments

Comments
 (0)