bitwise: total reverse dependencies
Direct reverse dependencies | Indirect reverse dependencies | Total |
---|---|---|
6 | 17 | 23 |
Package name | Total reverse dependencies |
---|---|
acme-everything | 0 (view) |
agentx | 1 (view) |
arduino-copilot | 0 (view) |
blacktip | 1 (view) |
bv-sized | 18 (view) |
bv-sized-lens | 0 (view) |
copilot | 6 (view) |
copilot-frp-sketch | 0 (view) |
copilot-language | 8 (view) |
copilot-libraries | 7 (view) |
copilot-theorem | 9 (view) |
copilot-verifier | 0 (view) |
crucible | 5 (view) |
crucible-llvm | 2 (view) |
crucible-symio | 3 (view) |
crux | 2 (view) |
crux-llvm | 1 (view) |
cryptol | 1 (view) |
ghc-debug-client | 0 (view) |
hscdio | 0 (view) |
sketch-frp-copilot | 2 (view) |
what4 | 16 (view) |
zephyr-copilot | 0 (view) |