There are currently no open bugs.

"boogie" versions published in Ubuntu

Hirsute (2.4.1+dfsg-0.1): universe/misc
Groovy (2.4.1+dfsg-0.1): universe/misc
Focal (2.4.1+dfsg-0.1): universe/misc
Bionic (2.3.0.61016+dfsg+3.gbp1f2d6c1-1): universe/misc