bv-sized: total reverse dependencies

Direct reverse dependenciesIndirect reverse dependenciesTotal
11718
Package nameTotal reverse dependencies
acme-everything0 (view)
arduino-copilot0 (view)
bv-sized-lens0 (view)
copilot6 (view)
copilot-frp-sketch0 (view)
copilot-language8 (view)
copilot-libraries7 (view)
copilot-theorem9 (view)
copilot-verifier0 (view)
crucible5 (view)
crucible-llvm2 (view)
crucible-symio3 (view)
crux2 (view)
crux-llvm1 (view)
cryptol1 (view)
sketch-frp-copilot2 (view)
what416 (view)
zephyr-copilot0 (view)