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