The latest version of universe-dependent-sum is 1.3.1-0.
lib:universe-dependent-sum
Modules
Dependencies
- base lib:base >=4.3 && <4.14
- dependent-sum lib:dependent-sum >=0.3.2.2 && <0.7
- some lib:some >=1 && <1.1
- universe-base lib:universe-base >=1.1 && <1.1.2
- universe-some lib:universe-some >=1.2 && <1.3
Reverse dependencies
Direct only. Not exhaustive.
- universe-dependent-sum test:th-test