eprover_1.0.004-1_i386.changes uploaded successfully to localhost along with the files: eprover_1.0.004-1.dsc eprover_1.0.004.orig.tar.gz eprover_1.0.004-1.diff.gz eprover-examples_1.0.004-1_all.deb eprover-doc-html_1.0.004-1_all.deb eprover_1.0.004-1_i386.deb Greetings, Your Debian queue daemon