@@ -1224,6 +1224,9 @@ packages:
1224 - refact
1224 - refact
1225 - servant-pandoc
1225 - servant-pandoc
1227+ "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1227 "James Cook <mokus@deepbondi.net> @mokus0":
1230 "James Cook <mokus@deepbondi.net> @mokus0":
1228 - dependent-sum
1231 - dependent-sum
1229 - dependent-sum-template
1232 - dependent-sum-template