[Pkg-electronics-devel] Processing of covered_0.7.10-1_i386.changes

[Debian FTP Masters]

covered_0.7.10-1_i386.changes uploaded successfully to localhost
along with the files:
  covered_0.7.10-1.dsc
  covered_0.7.10.orig.tar.gz
  covered_0.7.10-1.debian.tar.gz
  covered_0.7.10-1_i386.deb
  covered-doc_0.7.10-1_all.deb

Greetings,

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