Please stabilize dev-lang/boogie-3.0.11: no change for 34 days, since 2024-02-03
amd64 done all arches done