[Pkg-openmpi-maintainers] Processing of openmpi_1.4.1-3_amd64.changes

[Archive Administrator]

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

Greetings,

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