sbv
8.16
Only display out-of-date packages.
9 Reverse deps
Accepted versions
camfort
>=8.0 && <9
copilot-sbv
>=5.0
crackNum
>=8.14
cryptol
>=8.6 && <8.13
hevm
>=8.9
linearEqSolver
-any
regex-genex
==5.*
sbvPlugin
>=8.13
verifiable-expressions
>=8.0 && <9