smtlib2-quickcheck 1.0

Only display out-of-date packages.

1 Reverse dep	Accepted versions
smtlib2-pipe	>=1.0 && <1.1