dev-lang/boogie-3.2.5
dev-lang/boogie-3.3.3
dev-lang/boogie-3.4.1
dev-lang/boogie-3.4.2
dev-lang/boogie-3.4.3
dev-lang/dafny-4.8.0
dev-lang/dafny-4.8.1
dev-lang/dafny-4.9.0
dev-lang/dafny-4.9.1
dev-lang/dafny-4.10.0
dev-util/ropper-1.13.8:test+z3
dev-util/ropper-1.13.10:test+z3
dev-util/ropper-9999:test+z3
