smtlib2-pipe 1.0

Only display out-of-date packages.

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