| 12 Reverse deps | Accepted versions |
|---|---|
| camfort | >=8.0 && <10 |
| copilot-sbv | >=5.0 |
| crackNum | >=11.0 |
| cryptol | >=9.1 && <10.11 |
| grisette | >=8.17 && <13 |
| linearEqSolver | >=11.0 |
| quick-process | <12 |
| regex-genex | >=5 && <6 |
| sbv-program | >=9.0 && <9.1 |
| sbvPlugin | >=11.4 |
| scheduling | >=8.3 |
| verifiable-expressions | (>=10.0 && <11) && >=8.0 && <10 |