flash-kernel_3.42_source.changes uploaded successfully to localhost along with the files: flash-kernel_3.42.dsc flash-kernel_3.42.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org)