matita_0.99.3-1_amd64.changes uploaded successfully to localhost along with the files: matita_0.99.3-1.dsc matita_0.99.3.orig.tar.gz matita_0.99.3-1.debian.tar.xz matita-dbgsym_0.99.3-1_amd64.deb matita_0.99.3-1_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)