Please stabilize dev-lang/boogie-3.1.2: no change for 31 days, since 2024-03-10
amd64 done all arches done