Package: boogie

• 2.4.1+dfsg-0.1 (main) [bullseye, bookworm]
• 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (main) [stretch]