There are currently no open bugs.

"menhir" versions published in Ubuntu

Eoan-proposed (20181113-1): universe/devel
Eoan (20171222-1): universe/devel
Disco (20171222-1): universe/devel
Cosmic (20171222-1): 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