hashdist/hashstack — pull request #431 by johannesring (2014-08-26 10:26:18+00:00)
Title: DOLFIN updates

Change default build type for dolfin to `Release` and add sympy as build dependency.