[Reproducible-commits] [notes] 01/05: Add bug for matita

Chris Lamb lamby at moszumanska.debian.org
Sat Oct 31 13:17:30 UTC 2015


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

lamby pushed a commit to branch master
in repository notes.

commit e3d8905fac86dfd453b140f537394a86cec7fe0e
Author: Chris Lamb <lamby at debian.org>
Date:   Sat Oct 31 13:16:08 2015 +0000

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

diff --git a/packages.yml b/packages.yml
index 6ef364f..b228d35 100644
--- a/packages.yml
+++ b/packages.yml
@@ -10306,6 +10306,10 @@ mathpiper:
   version: 0.81f+svn4469+dfsg3-3
   issues:
     - timestamps_in_jar
+matita:
+  version: 0.99.1-3
+  bugs:
+    - 802264
 matroxset:
   version: 0.4-8
   bugs:

-- 
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