Dependencies Reverse-Dependencies

VersionRDEPENDDEPENDBDEPENDIDEPENDPDEPEND
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-python/outputcheck-0.4.2-r2
dev-util/bear-3.1.4-r2
dev-util/bear-3.1.5
dev-util/spirv-llvm-translator-15.0.4-r1
dev-util/spirv-llvm-translator-15.0.8
dev-util/spirv-llvm-translator-16.0.4-r1
dev-util/spirv-llvm-translator-16.0.8
dev-util/spirv-llvm-translator-17.0.4-r1
dev-util/spirv-llvm-translator-17.0.8
dev-util/spirv-llvm-translator-18.1.4
dev-util/spirv-llvm-translator-18.1.7
dev-util/spirv-llvm-translator-18.1.8
dev-util/spirv-llvm-translator-19.1.1
dev-util/spirv-llvm-translator-19.1.2
dev-util/spirv-llvm-translator-19.1.3
dev-util/spirv-llvm-translator-20.0.0.9999
llvm-core/lld-15.0.7
llvm-core/lld-16.0.6
llvm-core/lld-17.0.6
llvm-core/lld-18.1.8
llvm-core/lld-19.1.4
llvm-core/lld-19.1.6
llvm-core/lld-19.1.7
llvm-core/lld-20.0.0.9999
llvm-core/lld-20.0.0_pre20250111
llvm-core/lld-20.0.0_pre20250118
llvm-core/lldb-15.0.7
llvm-core/lldb-16.0.6-r1
llvm-core/lldb-17.0.6
llvm-core/lldb-18.1.8
llvm-core/lldb-19.1.4
llvm-core/lldb-19.1.6
llvm-core/lldb-19.1.7
llvm-core/lldb-20.0.0.9999
llvm-core/lldb-20.0.0_pre20250111
llvm-core/lldb-20.0.0_pre20250118
llvm-core/mlir-20.0.0.9999
llvm-core/mlir-20.0.0_pre20250111
llvm-core/mlir-20.0.0_pre20250118
llvm-core/polly-20.0.0.9999
llvm-core/polly-20.0.0_pre20250111
llvm-core/polly-20.0.0_pre20250118
llvm-runtimes/compiler-rt-15.0.7-r1
llvm-runtimes/compiler-rt-15.0.7-r2
llvm-runtimes/compiler-rt-16.0.6-r5
llvm-runtimes/compiler-rt-16.0.6-r6
llvm-runtimes/compiler-rt-17.0.6-r1
llvm-runtimes/compiler-rt-17.0.6-r2
llvm-runtimes/compiler-rt-18.1.8-r1
llvm-runtimes/compiler-rt-18.1.8-r2
llvm-runtimes/compiler-rt-19.1.4
llvm-runtimes/compiler-rt-19.1.6
llvm-runtimes/compiler-rt-19.1.7
llvm-runtimes/compiler-rt-20.0.0.9999
llvm-runtimes/compiler-rt-20.0.0_pre20250111
llvm-runtimes/compiler-rt-20.0.0_pre20250118
llvm-runtimes/compiler-rt-sanitizers-15.0.7-r1
llvm-runtimes/compiler-rt-sanitizers-16.0.6-r1
llvm-runtimes/compiler-rt-sanitizers-17.0.6-r1
llvm-runtimes/compiler-rt-sanitizers-18.1.8-r6
llvm-runtimes/compiler-rt-sanitizers-19.1.4
llvm-runtimes/compiler-rt-sanitizers-19.1.6
llvm-runtimes/compiler-rt-sanitizers-19.1.7
llvm-runtimes/compiler-rt-sanitizers-20.0.0.9999
llvm-runtimes/compiler-rt-sanitizers-20.0.0_pre20250111
llvm-runtimes/compiler-rt-sanitizers-20.0.0_pre20250118
llvm-runtimes/libcxx-15.0.7-r1
llvm-runtimes/libcxx-16.0.6
llvm-runtimes/libcxx-17.0.6
llvm-runtimes/libcxx-18.1.8
llvm-runtimes/libcxx-19.1.4
llvm-runtimes/libcxx-19.1.6
llvm-runtimes/libcxx-19.1.7
llvm-runtimes/libcxx-20.0.0.9999
llvm-runtimes/libcxx-20.0.0_pre20250111
llvm-runtimes/libcxx-20.0.0_pre20250118
llvm-runtimes/libcxxabi-15.0.7
llvm-runtimes/libcxxabi-16.0.6
llvm-runtimes/libcxxabi-17.0.6
llvm-runtimes/libcxxabi-18.1.8
llvm-runtimes/libcxxabi-19.1.4
llvm-runtimes/libcxxabi-19.1.6
llvm-runtimes/libcxxabi-19.1.7
llvm-runtimes/libcxxabi-20.0.0.9999
llvm-runtimes/libcxxabi-20.0.0_pre20250111
llvm-runtimes/libcxxabi-20.0.0_pre20250118
llvm-runtimes/libunwind-15.0.7
llvm-runtimes/libunwind-16.0.6-r1
llvm-runtimes/libunwind-17.0.6
llvm-runtimes/libunwind-18.1.8
llvm-runtimes/libunwind-19.1.4
llvm-runtimes/libunwind-19.1.6
llvm-runtimes/libunwind-19.1.7
llvm-runtimes/libunwind-20.0.0.9999
llvm-runtimes/libunwind-20.0.0_pre20250111
llvm-runtimes/libunwind-20.0.0_pre20250118
llvm-runtimes/offload-19.1.6
llvm-runtimes/offload-19.1.7
llvm-runtimes/offload-20.0.0.9999
llvm-runtimes/offload-20.0.0_pre20250111
llvm-runtimes/offload-20.0.0_pre20250118
llvm-runtimes/openmp-15.0.7-r6
llvm-runtimes/openmp-16.0.6
llvm-runtimes/openmp-17.0.6
llvm-runtimes/openmp-18.1.8
llvm-runtimes/openmp-19.1.4
llvm-runtimes/openmp-19.1.6
llvm-runtimes/openmp-19.1.7
llvm-runtimes/openmp-20.0.0.9999
llvm-runtimes/openmp-20.0.0_pre20250111
llvm-runtimes/openmp-20.0.0_pre20250118
sci-mathematics/stp-2.3.3-r3
sci-mathematics/stp-2.3.4
sys-devel/nvptx-tools-0_pre20240809
sys-devel/nvptx-tools-9999

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: