[Reproducible-commits] [notes] 01/01: Add bug reference for coq-float

[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 100ad42818c9a03b875000d7d762750611500334
Author: Chris Lamb <lamby at debian.org>
Date:   Wed Feb 3 15:52:07 2016 +0100

    Add bug reference for coq-float
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index a8f9d78..d93a637 100644
--- a/packages.yml
+++ b/packages.yml
@@ -2074,6 +2074,10 @@ coq:
   version: 8.4pl4dfsg-1
   bugs:
     - 794130
+coq-float:
+  version: 1:8.4-5
+  bugs:
+    - 813596
 corosync:
   version: 1.4.6-1.1
   issues:

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