dolfin_2018.1.0.post1-7_source.changes uploaded successfully to localhost along with the files: dolfin_2018.1.0.post1-7.dsc dolfin_2018.1.0.post1-7.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)