lhs2tex_1.15-3_amd64.changes uploaded successfully to localhost along with the files: lhs2tex_1.15-3.dsc lhs2tex_1.15-3.debian.tar.gz lhs2tex_1.15-3_amd64.deb Greetings, Your Debian queue daemon (running on host ries.debian.org)