camlp5_5.12-2_amd64.changes uploaded successfully to localhost along with the files: camlp5_5.12-2.dsc camlp5_5.12-2.diff.gz camlp5_5.12-2_amd64.deb Greetings, Your Debian queue daemon (running on host ries.debian.org)