coq_7.3.1-3_i386.changes uploaded successfully to localhost along with the files: coq_7.3.1-3.dsc coq_7.3.1-3.diff.gz coq_7.3.1-3_i386.deb Greetings, Your Debian queue daemon