Processing of petsc_3.4.2.dfsg1-8.1_amd64.changes

[Debian FTP Masters]

petsc_3.4.2.dfsg1-8.1_amd64.changes uploaded successfully to localhost
along with the files:
  petsc-dev_3.4.2.dfsg1-8.1_all.deb
  petsc3.4.2-doc_3.4.2.dfsg1-8.1_all.deb
  libpetsc3.4.2-dev_3.4.2.dfsg1-8.1_amd64.deb
  libpetsc3.4.2_3.4.2.dfsg1-8.1_amd64.deb
  libpetsc3.4.2-dbg_3.4.2.dfsg1-8.1_amd64.deb
  petsc_3.4.2.dfsg1-8.1.dsc
  petsc_3.4.2.dfsg1-8.1.debian.tar.xz

Greetings,

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