matita_0.5.7-1_amd64.changes ACCEPTED

[Debian Installer <installer@ftp-master.debian.org>]

Accepted:
matita-doc_0.5.7-1_all.deb
  to pool/main/m/matita/matita-doc_0.5.7-1_all.deb
matita-standard-library_0.5.7-1_all.deb
  to pool/main/m/matita/matita-standard-library_0.5.7-1_all.deb
matita_0.5.7-1.diff.gz
  to pool/main/m/matita/matita_0.5.7-1.diff.gz
matita_0.5.7-1.dsc
  to pool/main/m/matita/matita_0.5.7-1.dsc
matita_0.5.7-1_amd64.deb
  to pool/main/m/matita/matita_0.5.7-1_amd64.deb
matita_0.5.7.orig.tar.gz
  to pool/main/m/matita/matita_0.5.7.orig.tar.gz


Override entries for your package:
matita-doc_0.5.7-1_all.deb - optional doc
matita-standard-library_0.5.7-1_all.deb - optional math
matita_0.5.7-1.dsc - source math
matita_0.5.7-1_amd64.deb - optional math

Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.