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


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

Announcing to [EMAIL PROTECTED]


Thank you for your contribution to Debian.


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to