Processing of armadillo_3.800.0+dfsg-1_amd64.changes

[Debian FTP Masters]

armadillo_3.800.0+dfsg-1_amd64.changes uploaded successfully to localhost
along with the files:
  armadillo_3.800.0+dfsg-1.dsc
  armadillo_3.800.0+dfsg.orig.tar.gz
  armadillo_3.800.0+dfsg-1.diff.gz
  libarmadillo-dev_3.800.0+dfsg-1_amd64.deb
  libarmadillo3_3.800.0+dfsg-1_amd64.deb

Greetings,

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