There are currently no open bugs.

"menhir" versions published in Ubuntu

Noble (20231231+ds-1): universe/devel
Mantic (20230608+ds-1): universe/devel
Jammy (20210929-1build1): universe/devel
Focal (20200123-2): universe/devel
Bionic (20171222-1): universe/devel
Xenial (20151112.dfsg-1): universe/devel
Trusty (20130116.dfsg-2): universe/devel