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