FirstOrderTheory 0.1.0.6

Only display out-of-date packages.

2 Reverse deps	Accepted versions
DifferenceLogic	>=0
Smooth	>=0.1 && <0.2