Disable Agda due to upper bound on unordered-containers.
Agda 2.4.2.5 doesn't support unordered-containers 0.2.6.0.
commit9ac217f688bba56fbf0ca8056964819cd5232676
authorAndrés Sicard-Ramírez <asr@eafit.edu.co>
dateSun 14 Feb 2016, 20:44 (11 years ago)
parent87ba7c7
build-constraints.yaml+3−1
@@ -1492,7 +1492,9 @@ packages:
14921492 - ipython-kernel
14931493
14941494 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1495− - Agda
1495+ # Temporarily removed due to upper bound on unordered-containers.
1496+ # - Agda
1497+ []
14961498
14971499 "James Cook <mokus@deepbondi.net> @mokus0":
14981500 - dependent-sum