Please stabilize dev-lang/boogie-3.0.8: no change for 35 days, since 2023-12-01
amd64 done all arches done