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-lang/dafny-bin-4.9.1
dev-lang/dafny-bin-4.10.0
dev-util/ropper-1.13.8:z3
dev-util/ropper-1.13.10:z3
dev-util/ropper-9999:z3
llvm-core/llvm-15.0.7-r7:z3
llvm-core/llvm-16.0.6-r5:z3
llvm-core/llvm-17.0.6-r3:z3
llvm-core/llvm-18.1.8-r6:z3
llvm-core/llvm-19.1.4:z3
llvm-core/llvm-19.1.7:z3
llvm-core/llvm-20.1.0_rc2:z3
llvm-core/llvm-21.0.0_pre20250211:z3
llvm-core/llvm-21.0.0_pre20250215:z3
llvm-core/llvm-21.0.0_pre20250221:z3
llvm-core/llvm-21.0.0_pre20250225:z3
llvm-core/llvm-21.0.0.9999:z3
media-gfx/prusaslicer-9999
sci-mathematics/vampire-4.8:z3
sci-mathematics/vampire-4.9:z3
