Fin-0.2.9.0: dependencies

Dependencies for Fin-0.2.9.0

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