Processing of dolfin_1.5.0-4_amd64.changes

[Debian FTP Masters]

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

Greetings,

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