Dependencies for dependent-sum-template-0.1.2.0

library