copilot-core: 12 reverse dependencies
No version specified, so showing reverse dependencies for latest version.| Depend on the latest version | Depend on other versions | Total |
|---|---|---|
| 10 | 2 | 12 |
| Package name | Version | Reverse dependencies |
|---|---|---|
| copilot | 4.5.1 | 7 (view) |
| copilot-bluespec | 4.5.1 | 0 (view) |
| copilot-c99 | 4.5.1 | 8 (view) |
| copilot-cbmc | 2.2.1 | 2 (view) |
| copilot-interpreter | 4.5.1 | 2 (view) |
| copilot-language | 4.5.1 | 9 (view) |
| copilot-prettyprinter | 4.5.1 | 4 (view) |
| copilot-theorem | 4.5.1 | 3 (view) |
| copilot-verifier | 4.5.1 | 0 (view) |
| copilot-visualizer | 4.5.1 | 0 (view) |