Smooth-0.1.0.1: dependencies

Dependencies for Smooth-0.1.0.1

library	base (>=4.6 && <4.7) containers (>=0.5 && <0.6) DifferenceLogic (>=0.1 && <0.2) FirstOrderTheory (>=0.1 && <0.2) HUnit (>=1.2 && <1.3) Proper (>=0.5 && <0.6)