smtLib 1.1

Only display out-of-date packages.

1 Reverse dep	Accepted versions
Hsmtlib	>=1.0 && <1.1