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