[notes] 01/01: explain why agda aint blacklisted anymore despite it now ftbfs

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository notes.

commit 92bec69b9bb04863979ac58c286d71f76640c95d
Author: Holger Levsen <holger at layer-acht.org>
Date:   Sat Apr 29 12:54:02 2017 +0200

    explain why agda aint blacklisted anymore despite it now ftbfs
    
    Signed-off-by: Holger Levsen <holger at layer-acht.org>
---
 packages.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages.yml b/packages.yml
index 60fbfc0..326d540 100644
--- a/packages.yml
+++ b/packages.yml
@@ -277,9 +277,9 @@ afterstep:
   issues:
     - records_build_flags
 agda:
-  version: 2.4.2.5-1
-  issues:
-    - blacklisted_on_jenkins_armhf_only
+  version: 2.5.1.1-3
+  comments: |
+    Used to be blacklisted, but then ghc only runs into out-of-memory issues…
 ahcpd:
   version: 0.53-2
   issues:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git