[Reproducible-commits] [notes] 01/01: Add patch for boolector

[Chris Lamb]

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

lamby pushed a commit to branch master
in repository notes.

commit 83a3e6ee76dca6b680b1152bbf3631a2b165d6ff
Author: Chris Lamb <lamby at debian.org>
Date:   Wed Jul 13 21:58:14 2016 +0200

    Add patch for boolector
---
 packages.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages.yml b/packages.yml
index d0595c3..732e9b3 100644
--- a/packages.yml
+++ b/packages.yml
@@ -1320,6 +1320,8 @@ boolector:
     http://sources.debian.net/src/boolector/1.5.118.6b56be4.121013-1/lingeling/mkconfig/?hl=16:17#L16
   issues:
     - captures_kernel_version
+  bugs:
+    - 831031
 boolstuff:
   version: 0.1.15-1
   issues:

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