Merge pull request #1369 from asr/master
Re-enable Agda
commitdd3f214b4b8101f2092ad04882c7dd944bba0b23
authorJens Petersen <juhpetersen@gmail.com>
dateMon 18 Apr 2016, 22:21 (11 years ago)
parent00dedc40a6cfc0
build-constraints.yaml+1−3
@@ -1546,9 +1546,7 @@ packages:
15461546 - ipython-kernel
15471547
15481548 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1549− # Temporarily removed due to upper bound on unordered-containers.
1550− # - Agda
1551− []
1549+ - Agda
15521550
15531551 "James Cook <mokus@deepbondi.net> @mokus0":
15541552 - dependent-sum