[Pkg-openmpi-maintainers] Processing of openmpi_1.3.3-3.1_amd64.changes

[Archive Administrator]

openmpi_1.3.3-3.1_amd64.changes uploaded successfully to localhost
along with the files:
  openmpi_1.3.3-3.1.dsc
  openmpi_1.3.3-3.1.diff.gz
  openmpi-bin_1.3.3-3.1_amd64.deb
  libopenmpi-dev_1.3.3-3.1_amd64.deb
  libopenmpi1.3_1.3.3-3.1_amd64.deb
  libopenmpi-dbg_1.3.3-3.1_amd64.deb
  openmpi-checkpoint_1.3.3-3.1_amd64.deb
  openmpi-common_1.3.3-3.1_all.deb
  openmpi-doc_1.3.3-3.1_all.deb

Greetings,

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