hashdist/hashstack2 — pull request #112 by johannesring (2014-01-22 08:52:37+00:00)
Title: Update fenics packages to 1.3.0.

This will update the fenics packages to the latest 1.3.0 releases (ufc is updated to version 2.3.0).