bv-sized 1.0.1

Only display out-of-date packages.

2 Reverse deps	Accepted versions
cryptol	>=1.0 && <1.1
what4	>=1.0.0