smtlib-backends-tests 0.3

Only display out-of-date packages.

2 Reverse deps	Accepted versions
smtlib-backends-process	-any
smtlib-backends-z3	-any