Dependencies for Fin-0.2.5.1

Libraries

Fin

alg (>=0.2.5 && <0.3)
base (>=4.7 && <5)
foldable1 (>=0.1 && <0.2)
natural-induction (>=0.2 && <0.3)
peano