s-cargot: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 4 | 19 | 23 |
| Package name | Total reverse dependencies |
|---|---|
| acme-everything | 0 (view) |
| arduino-copilot | 0 (view) |
| copilot | 7 (view) |
| copilot-frp-sketch | 0 (view) |
| copilot-language | 9 (view) |
| copilot-libraries | 8 (view) |
| copilot-theorem | 10 (view) |
| copilot-verifier | 0 (view) |
| copilot-visualizer | 0 (view) |
| crucible | 7 (view) |
| crucible-debug | 3 (view) |
| crucible-llvm | 2 (view) |
| crucible-symio | 3 (view) |
| crucible-syntax | 4 (view) |
| crux | 2 (view) |
| crux-llvm | 1 (view) |
| cryptol | 1 (view) |
| hevm | 0 (view) |
| rme-what4 | 0 (view) |
| s-cargot-letbind | 1 (view) |
| sketch-frp-copilot | 2 (view) |
| what4 | 20 (view) |
| zephyr-copilot | 0 (view) |