On Thu, 2017-01-05 at 21:36 +0100, Andreas Tille wrote: > I'd like you something else to consider: A user *application* should > not contain the programming language it was written in its package > name. > I have not checked but dolphin-bin sounds way more like a user > application than python-dolphin.
dolfin-bin is just a handful of little utility scripts. Not necessarily used in day-to-day use of dolfin. Drew
