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 [email protected] Closing bugs: 666594 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
