@@ -1224,6 +1224,9 @@ packages:
12241224 - refact
12251225 - servant-pandoc
12261226
1227+ "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1228+ - Agda
1229+
12271230 "James Cook <mokus@deepbondi.net> @mokus0":
12281231 - dependent-sum
12291232 - dependent-sum-template