dolfin-convert
Executable scripts for DOLFIN
RUN apt-get update && \
apt-get install -y dolfin-bin
RUN apt-get update && \
apt-get install -y dolfin-bin
RUN apt-get update && \
apt-get install -y dolfin-bin
RUN apt-get update && \
apt-get install -y dolfin-bin