From 0a6cfc034ebc58c172ab5c2bc28fa04bf998c5d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Sun, 17 Apr 2016 17:53:52 -0500
Subject: [PATCH] [ #1222 ] Re-enable Agda.

Added support for unordered-containers 0.2.6.0 in Agda 2.5.1.
---
 build-constraints.yaml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 7dfb0110..be6aebf5 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1546,9 +1546,7 @@ packages:
         - ipython-kernel
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        # Temporarily removed due to upper bound on unordered-containers.
-        # - Agda
-        []
+        - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum