FirstOrderTheory 0.1.0.6

Only display out-of-date packages.

2 Reverse deps	Accepted versions
DifferenceLogic	-any
Smooth	==0.1.*