[notes] 02/02: fixed in why3 (0.87.1-2)

[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 24b455ff7b26400d61e6729f0334fda3f271dcfc
Author: Chris Lamb <lamby at debian.org>
Date:   Sun Aug 28 01:35:28 2016 +0100

    fixed in why3 (0.87.1-2)
---
 packages.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/packages.yml b/packages.yml
index e60ab1a..f52d1d8 100644
--- a/packages.yml
+++ b/packages.yml
@@ -21636,11 +21636,6 @@ why:
     https://sources.debian.net/src/why/2.34-2/version.sh/
   bugs:
     - 807051
-why3:
-  version: 0.87.0-1
-  comments: |
-    Embeds the build date.
-    https://sources.debian.net/src/why3/0.87.0-1/configure.in/?hl=712#L712
 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