copilot-core: total reverse dependencies
| Direct reverse dependencies | Indirect reverse dependencies | Total |
|---|---|---|
| 13 | 5 | 18 |
| Package name | Total reverse dependencies |
|---|---|
| acme-everything | 0 (view) |
| arduino-copilot | 0 (view) |
| copilot | 7 (view) |
| copilot-bluespec | 0 (view) |
| copilot-c99 | 9 (view) |
| copilot-cbmc | 8 (view) |
| copilot-frp-sketch | 0 (view) |
| copilot-interpreter | 11 (view) |
| copilot-language | 10 (view) |
| copilot-libraries | 8 (view) |
| copilot-prettyprinter | 12 (view) |
| copilot-sbv | 9 (view) |
| copilot-theorem | 11 (view) |
| copilot-verifier | 0 (view) |
| copilot-visualizer | 0 (view) |
| ogma-core | 0 (view) |
| sketch-frp-copilot | 2 (view) |
| zephyr-copilot | 0 (view) |