permutations-0.1.0.0: dependencies

Dependencies for permutations-0.1.0.0

library	alg (>=0.2.5 && <0.3) base (>=4.7 && <5) base-unicode-symbols Fin (>=0.2.1 && <0.3) natural-induction (>=0.2 && <0.3) peano (>=0.1 && <0.2) universe-base (>=1.0 && <1.1) util