| 12 Reverse deps | Accepted versions |
|---|---|
| bv-sized-lens | >=1.0 && <1.1 |
| copilot-theorem | >=1.0.2 && <1.1 |
| copilot-verifier | >=1.0.0 && <1.1 |
| crucible | >=1.0.0 && <1.1 |
| crucible-llvm | >=1.0.0 |
| crucible-symio | >=0 |
| crucible-syntax | >=1.0.0 |
| crux | >=1.0.0 |
| crux-llvm | >=0 |
| cryptol | >=1.0 && <1.1 |
| rme-what4 | ^>=1.0 |
| what4 | >=1.0.0 |