Dependencies for dependent-sum-template-0.0.0.3

library