Package: dolfin-bin

"dolfin-bin" package binaries on Debian:

/usr/bin/dolfin-convert /usr/bin/dolfin-get-demos /usr/bin/dolfin-order /usr/bin/dolfin-plot /usr/bin/dolfin-version

You may install this package on Debian with apt-get install dolfin-bin