[notes] 02/02: Add existing bug for matita

[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 59f76cf9fd31c67ca2424b077935df805637c6fc
Author: Chris Lamb <lamby at debian.org>
Date:   Thu Oct 27 19:02:45 2016 +0100

    Add existing bug for matita
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 84629da..25fdcf7 100644
--- a/packages.yml
+++ b/packages.yml
@@ -16291,6 +16291,10 @@ mathpiper:
   version: 0.81f+svn4469+dfsg3-3
   issues:
     - timestamps_in_jar
+matita:
+  version: 0.99.3-1
+  bugs:
+    - 837359
 matplotlib:
   version: 1.5.0~rc2-1
   issues:

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