13 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-llvm | >=2.1.5 && <2.2 |
crucible-symio | -any |
crux | >=1.0 && <2.2 |
crux-llvm | -any |
cryptol | >=2.0.2 |
named-text | >=2.1 && <2.2 |
tasty-checklist | >=2.1.0 && <2.2 |
what4 | ==2.1.* |