From f4575cbe484f36a840e2aab357db94c28c0497d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Thu, 2 Apr 2015 17:38:58 -0500
Subject: [PATCH 1/2] Removed trailing whitespace.

---
 build-constraints.yaml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 65c05960..0a984c11 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -846,14 +846,14 @@ packages:
         - plot-gtk3
         - vector-buffer
         - hmatrix-repa
-        
+
     "Noam Lewis <jones.noamle@gmail.com> @sinelaw":
         - xml-to-json
         - xml-to-json-fast
-    
+
     "Tim Baumann <tim@timbaumann.info> @timjb":
         - aeson-schema
-        
+
     "Stackage upper bounds":
         # GHC 7.8 uppdate bound
         - haddock-api < 2.16

From f24dadcd994edc30a768855ca4f654419d2b272a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= <asr@eafit.edu.co>
Date: Thu, 2 Apr 2015 17:39:58 -0500
Subject: [PATCH 2/2] Added Agda.

@nomeata suggested 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 0a984c11..150f3830 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -854,6 +854,9 @@ packages:
     "Tim Baumann <tim@timbaumann.info> @timjb":
         - aeson-schema
 
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
+
     "Stackage upper bounds":
         # GHC 7.8 uppdate bound
         - haddock-api < 2.16