Merge f24dadcd99 into 7feb2c0565

2026-03-11 11:16:34 +01:00 · 2015-04-02 22:43:28 +00:00 · 2015-04-02 22:43:28 +00:00 · 18a756f18b
commit 18a756f18b
parent 7feb2c0565 f24dadcd99
1 changed files with 6 additions and 3 deletions
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@ -846,14 +846,17 @@ 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
-        
+
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
+
    "Stackage upper bounds":
        # GHC 7.8 uppdate bound
        - haddock-api < 2.16