| 11 Reverse deps | Accepted versions |
|---|---|
| camfort | >=8.0 && <10 |
| copilot-sbv | >=5.0 |
| crackNum | >=10.0 |
| cryptol | >=9.1 && <10.2 |
| grisette | >=8.11 && <10.3 |
| linearEqSolver | -any |
| regex-genex | ==5.* |
| sbv-program | ==9.0.* |
| sbvPlugin | >=10.1 |
| scheduling | >=8.3 |
| verifiable-expressions | >=8.0 && <10 |