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