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
