| 17 Reverse deps | Accepted versions |
|---|---|
| bv-sized | >=2.0.2 && <2.2 |
| bv-sized-lens | >=2.1.3.0 && <2.2 |
| copilot-theorem | >=2.1.1 && <2.2 |
| copilot-verifier | >=2.1.4 && <2.2 |
| crucible | >=1.0.8 && <2.2 |
| crucible-debug | >=0 |
| crucible-llvm | >=2.1.5 && <2.2 |
| crucible-symio | >=0 |
| crucible-syntax | >=0.1.7 |
| crux | >=1.0 && <2.2 |
| crux-llvm | >=0 |
| cryptol | >=2.0.2 |
| libriscv | ^>=2.1.6.0 |
| named-text | >=2.1 && <2.2 |
| rme-what4 | ^>=2.0 || ^>=2.1 |
| tasty-checklist | >=2.1.0 && <2.2 |
| what4 | >=2.1 && <2.2 |