mathcomp_1.5-3_amd64.changes uploaded successfully to localhost along with the files: libmathcomp-coq_1.5-3_all.deb mathcomp_1.5-3.dsc mathcomp_1.5-3.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org)