universe-dependent-sum-1.2: dependencies

Dependencies for universe-dependent-sum-1.2

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