[notes] 01/01: update note on acl2

[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 2b5d5252e5b3ae1e727a17cf1c19fd27ff8fc888
Author: Holger Levsen <holger at layer-acht.org>
Date:   Fri Apr 28 12:12:33 2017 +0200

    update note on acl2
    
    Signed-off-by: Holger Levsen <holger at layer-acht.org>
---
 packages.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages.yml b/packages.yml
index a802b07..bf301d4 100644
--- a/packages.yml
+++ b/packages.yml
@@ -115,10 +115,11 @@ achilles:
   issues:
     - captures_build_path
 acl2:
-  version: 7.1-1
+  version: 7.2dfsg-3
   comments: |
     Spawns a handful of saved_acl2 which eats the memory.
     Strangely it looks like the build ends fine in testing, but always fails in unstable
+    Update 2017-04-28: tried 7.2dfsg-3 on testing/amd64 and the first build was autokilled after 18h… (so blacklisted again)
   issues:
     - blacklisted_on_jenkins
 acmetool:

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