There are currently no open bugs.

"menhir" versions published in Ubuntu

Groovy (20200123-3): universe/devel
Focal (20200123-2): universe/devel
Eoan (20190626-6ubuntu1): universe/devel
Bionic (20171222-1): universe/devel
Xenial (20151112.dfsg-1): universe/devel
Trusty (20130116.dfsg-2): universe/devel
Precise (20110201.dfsg-1build2): universe/devel