From 7bcef4e7ee03ac4196a95c8fcc13fe04ed71a29d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Sat, 3 Sep 2016 16:45:57 -0500
Subject: [PATCH] Uncomment maintener name of Agda.

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 0a2a0bf0..4caadc5b 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1669,7 +1669,7 @@ packages:
         # GHC 8 - ghc-parser
         # GHC 8 - ipython-kernel
 
-    # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
         - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":