[Pkg-electronics-devel] Processing of verilator_3.801-1_i386.changes

[Archive Administrator]

verilator_3.801-1_i386.changes uploaded successfully to localhost
along with the files:
  verilator_3.801-1.dsc
  verilator_3.801.orig.tar.gz
  verilator_3.801-1.debian.tar.gz
  verilator_3.801-1_i386.deb

Greetings,

	Your Debian queue daemon (running on host ries.debian.org)