From 63049d36cb62e52a24f1c366c6b3122291308fdb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= Date: Sat, 3 Sep 2016 09:41:59 -0500 Subject: [PATCH 1/2] Enabled Agda 2.5.1.1. --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index b41d51ac..0a2a0bf0 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1670,7 +1670,7 @@ packages: # GHC 8 - ipython-kernel # "Andrés Sicard-Ramírez @asr": - # bounds - Agda + - Agda "James Cook @mokus0": - dependent-sum From 7bcef4e7ee03ac4196a95c8fcc13fe04ed71a29d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= Date: Sat, 3 Sep 2016 16:45:57 -0500 Subject: [PATCH 2/2] Uncomment maintener name of Agda. --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 0a2a0bf0..4caadc5b 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1669,7 +1669,7 @@ packages: # GHC 8 - ghc-parser # GHC 8 - ipython-kernel - # "Andrés Sicard-Ramírez @asr": + "Andrés Sicard-Ramírez @asr": - Agda "James Cook @mokus0":