From 5a9b04cea834d91c0f5cbb8df0b0ddd796204ca0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Fri, 31 Jul 2015 10:00:14 -0500
Subject: [PATCH] Added Agda.

@nomeata suggested to add Agda in
https://code.google.com/p/agda/issues/detail?id=1479.
---
 build-constraints.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 2bcfb2b0..a0c5ff96 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1224,6 +1224,9 @@ packages:
         - refact
         - servant-pandoc
 
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
+
     "Stackage upper bounds":
         # https://github.com/fpco/stackage/issues/537
         - zlib < 0.6