universe-dependent-sum-1.2.0.1: dependencies

Dependencies for universe-dependent-sum-1.2.0.1

library	base (>=4.3 && <4.15) dependent-sum (>=0.3.2.2 && <0.8) some (>=1 && <1.1) universe-base (>=1.1 && <1.1.2) universe-some (>=1.2 && <1.3)