[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