Fin-0.2.0.0: dependencies

Dependencies for Fin-0.2.0.0

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