flash-kernel_3.23_armhf.changes uploaded successfully to localhost along with the files: flash-kernel_3.23_armhf.deb flash-kernel-installer_3.23_armhf.udeb flash-kernel_3.23.dsc flash-kernel_3.23.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org)