[Reproducible-commits] [notes] 05/05: Add patch/fix for why3

Chris Lamb chris at chris-lamb.co.uk
Mon Jul 18 09:55:10 UTC 2016


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

lamby pushed a commit to branch master
in repository notes.

commit 5a83a9a475e5716c633017b572a9c7b6a0a677f4
Author: Chris Lamb <lamby at debian.org>
Date:   Mon Jul 18 11:54:57 2016 +0200

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

diff --git a/packages.yml b/packages.yml
index 1393003..7a95805 100644
--- a/packages.yml
+++ b/packages.yml
@@ -17193,6 +17193,8 @@ why3:
   comments: |
     Embeds the build date.
     https://sources.debian.net/src/why3/0.87.0-1/configure.in/?hl=712#L712
+  bugs:
+    - 831664
 wily:
   version: 0.13.41-7.2
   issues:

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



More information about the Reproducible-commits mailing list