[Reproducible-commits] [notes] 01/02: blacklist acl2

[Mattia Rizzolo]

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

mapreri-guest pushed a commit to branch master
in repository notes.

commit 832e97955afaff3348f31178078bdb141506f6dc
Author: Mattia Rizzolo <mattia at mapreri.org>
Date:   Thu Jun 11 19:04:10 2015 +0200

    blacklist acl2
---
 packages.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/packages.yml b/packages.yml
index a746147..9d90cc7 100644
--- a/packages.yml
+++ b/packages.yml
@@ -67,6 +67,14 @@ acedb:
   version: 4.9.39+dfsg.01-5
   issues:
     - timestamps_from_cpp_macros
+acl2:
+  version: 7.1-1
+  comments: |
+    it spawns a handful of saved_acl2 which eats the memory.
+    Weirdly it looks like the build ends fine in testing, but always fails in unstable
+    blacklisted for now...
+  issues:
+    - blacklisted_on_jenkins
 acpica-unix:
   version: 20140926-1
   issues:

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