Dependencies for dependent-sum-0.6.2.2

library