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