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