charrua-server needs menhir from may 2018
Hannes Mehnert 4 years ago 2ddd9faa 6020e19f
··· 30 30 "ocaml" {>= "4.08.0"} 31 31 "dune" {>= "1.4.0"} 32 32 "ppx_sexp_conv" {>= "v0.9.0"} 33 33 - "menhir" {build} 33 33 + "menhir" {build & >= "20180523"} 34 34 "charrua" {= version} 35 35 "cstruct" {>= "3.0.1"} 36 36 "sexplib"