Dependencies for dependent-sum-template-0.2.0.1

library