Processing of dolfin_1.0.0-4_amd64.changes

[Debian FTP Masters]

dolfin_1.0.0-4_amd64.changes uploaded successfully to localhost
along with the files:
  dolfin_1.0.0-4.dsc
  dolfin_1.0.0-4.debian.tar.gz
  dolfin-dev_1.0.0-4_all.deb
  dolfin-doc_1.0.0-4_all.deb
  dolfin-bin_1.0.0-4_all.deb
  libdolfin1.0-dev_1.0.0-4_amd64.deb
  libdolfin1.0_1.0.0-4_amd64.deb
  libdolfin1.0-dbg_1.0.0-4_amd64.deb
  python-dolfin_1.0.0-4_amd64.deb

Greetings,

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