There are currently no open bugs.

"menhir" versions published in Ubuntu

Impish (20201216-1): universe/devel
Hirsute (20201216-1): universe/devel
Groovy (20200624-1): universe/devel
Focal (20200123-2): universe/devel
Bionic (20171222-1): universe/devel
Xenial (20151112.dfsg-1): universe/devel
Trusty (20130116.dfsg-2): universe/devel