Add correct lower bound to menhir

[mseri]

dune assumes that menhir supports the --infer-write-query flag https://github.com/ocaml/dune/blob/30add837eca7ba1d27a5d7955777f4b96cbbb1b7/src/dune_rules/menhir/menhir_rules.ml#L7

In the opam-repository we often get packages using the feature and whose opam files are autogenerated with dune. These usually depend on menhir without any version bound, and in almost all cases we need to manually modify this to "menhir" {>= "20180528"}.

Would it be possible to make dune automatically generate an opam file with this lower bound already added in, like it does with its own version?

[nojb]

Thanks, this looks like a bug indeed!

[emillon]

That's a feature I've wanted for a long time. I've started something in #10751, will continue next week.