From 7d16b2bbceabad9a8c54cac033c02c9e9d9902f9 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Mon, 4 Jun 2018 11:08:19 +0900
Subject: [PATCH] reenable Agda

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 5e37fdaf..a10906bf 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2007,7 +2007,7 @@ packages:
         - ipython-kernel
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        - Agda < 0 # GHC 8.4 via template-haskell-2.13.0.0
+        - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum