sbv 8.10

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
linearEqSolver	-any
regex-genex	==5.*
sbvPlugin	>=8.8
verifiable-expressions	>=8.0 && <9