From 0c7ad6906b815d87ecf467c42ede1142c1a7d32d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Sun, 10 Sep 2017 22:46:02 -0500
Subject: [PATCH] Enabled Agda 2.5.3.

---
 build-constraints.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 58c9bdd8..092d2703 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2033,8 +2033,7 @@ packages:
         - ipython-kernel # GHC 8
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        []
-        # - Agda # GHC 8.2.1
+        - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum