[Pkg-openmpi-maintainers] Processing of openmpi_1.3.2-2.2_amd64.changes

[Archive Administrator]

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

Greetings,

	Your Debian queue daemon