This commit is contained in:
Andrés Sicard-Ramírez 2015-08-03 14:05:12 +00:00
commit 6db62f55ad

View File

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