Processing of openmprtl_0.20150701-1_amd64.changes

Sat Sep 12 11:14:04 UTC 2015

openmprtl_0.20150701-1_amd64.changes uploaded successfully to localhost
along with the files:
  openmprtl_0.20150701-1.dsc
  openmprtl_0.20150701.orig.tar.gz
  openmprtl_0.20150701-1.debian.tar.xz
  libiomp-dev_0.20150701-1_amd64.deb
  libiomp-doc_0.20150701-1_all.deb
  libiomp5-dbg_0.20150701-1_amd64.deb
  libiomp5_0.20150701-1_amd64.deb

Greetings,

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