Dependencies for Fin-0.2.2.0

Libraries

Fin

base (>=4.7 && <5)
natural-induction (>=0.2 && <0.3)
peano