| 11 Reverse deps | Accepted versions |
|---|---|
| copilot-theorem | >=1.3 && <1.8 |
| copilot-verifier | >=1.6.1 && <1.7 |
| crucible | >=1.6.1 |
| crucible-debug | >=0 |
| crucible-llvm | >=1.7 |
| crucible-symio | >=0 |
| crucible-syntax | >=0 |
| crux | >=0.4.1 |
| crux-llvm | >=0 |
| cryptol | >=1.6 && <1.8 |
| rme-what4 | ^>=1.7 |