Dependencies for dependent-sum-template-0.1.0.3

library