matita_0.5.8-4_amd64.changes ACCEPTED into unstable
Accepted:
matita-doc_0.5.8-4_all.deb
to main/m/matita/matita-doc_0.5.8-4_all.deb
matita_0.5.8-4.debian.tar.gz
to main/m/matita/matita_0.5.8-4.debian.tar.gz
matita_0.5.8-4.dsc
to main/m/matita/matita_0.5.8-4.dsc
matita_0.5.8-4_amd64.deb
to main/m/matita/matita_0.5.8-4_amd64.deb
Changes:
matita (0.5.8-4) unstable; urgency=medium
.
* Team upload
* Fix FTBFS with camlp5 6.05 (Closes: #666594)
Override entries for your package:
matita-doc_0.5.8-4_all.deb - optional doc
matita_0.5.8-4.dsc - source math
matita_0.5.8-4_amd64.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 666594
Thank you for your contribution to Debian.
Reply to: