Processing of gmp_5.1.2+dfsg-2_amd64.changes

[Debian FTP Masters]

gmp_5.1.2+dfsg-2_amd64.changes uploaded successfully to localhost
along with the files:
  gmp_5.1.2+dfsg-2.dsc
  gmp_5.1.2+dfsg-2.debian.tar.gz
  libgmp10-doc_5.1.2+dfsg-2_all.deb
  libgmp10_5.1.2+dfsg-2_amd64.deb
  libgmpxx4ldbl_5.1.2+dfsg-2_amd64.deb
  libgmp-dev_5.1.2+dfsg-2_amd64.deb
  lib32gmp10_5.1.2+dfsg-2_amd64.deb
  lib32gmpxx4_5.1.2+dfsg-2_amd64.deb
  lib32gmp-dev_5.1.2+dfsg-2_amd64.deb
  libgmp3-dev_5.1.2+dfsg-2_amd64.deb

Greetings,

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