config-value: total reverse dependencies
Direct reverse dependencies | Indirect reverse dependencies | Total |
---|---|---|
6 | 14 | 20 |
Package name | Total reverse dependencies |
---|---|
acme-everything | 0 (view) |
arduino-copilot | 0 (view) |
config-schema | 4 (view) |
config-value-getopt | 1 (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) |
glirc | 0 (view) |
sketch-frp-copilot | 2 (view) |
what4 | 16 (view) |
zephyr-copilot | 0 (view) |