Merge pull request #1224 from asr/master
Disable Agda due to upper bound on unordered-containers
commit71ede9e1a0ef4450ef4113ac53bb1bf90071f260
authorDan Burton <danburton.email@gmail.com>
dateMon 15 Feb 2016, 11:43 (11 years ago)
parentf1ead3a9ac217f
build-constraints.yaml+3−1
@@ -1493,7 +1493,9 @@ packages:
14931493 - ipython-kernel
14941494
14951495 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1496− - Agda
1496+ # Temporarily removed due to upper bound on unordered-containers.
1497+ # - Agda
1498+ []
14971499
14981500 "James Cook <mokus@deepbondi.net> @mokus0":
14991501 - dependent-sum