[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