There are currently no open bugs.

"boogie" versions published in Ubuntu

Lunar (2.4.1+dfsg-0.1): universe/misc
Kinetic (2.4.1+dfsg-0.1): universe/misc
Jammy (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