natural-induction-0.1.0.1: dependencies

Dependencies for natural-induction-0.1.0.1

library	base (>=4.9 && <5) peano (>=0.1 && <0.2)