verilator_4.012-1_source.changes uploaded successfully to localhost along with the files: verilator_4.012-1.dsc verilator_4.012.orig.tar.gz verilator_4.012-1.debian.tar.xz verilator_4.012-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)