Processing of petsc_3.1.dfsg-3_amd64.changes

[Archive Administrator]

petsc_3.1.dfsg-3_amd64.changes uploaded successfully to localhost
along with the files:
  petsc_3.1.dfsg-3.dsc
  petsc_3.1.dfsg-3.debian.tar.gz
  petsc-dev_3.1.dfsg-3_all.deb
  petsc3.1-doc_3.1.dfsg-3_all.deb
  libpetsc3.1-dev_3.1.dfsg-3_amd64.deb
  libpetsc3.1_3.1.dfsg-3_amd64.deb
  libpetsc3.1-dbg_3.1.dfsg-3_amd64.deb

Greetings,

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