From 008f07a229a2b053751ad8347705a46ba4f971f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Thu, 27 Jul 2017 16:46:00 -0500
Subject: [PATCH] Disabled Agda 2.5.2 because it doesn't support GHC 8.2.1.

---
 build-constraints.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index f542b2c7..f42eb49f 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1990,7 +1990,9 @@ packages:
         # - ipython-kernel # GHC 8
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        - Agda
+        # Temporarily remove because Agda 2.5.2 doesn't support GHC 8.2.1.
+        # - Agda
+        []
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum