Dependencies for dependent-sum-template-0.1.1.0

library