fenics (1:2017.2.0.1~ppa1~xenial1) xenial; urgency=medium [ FEniCS Project ] * Release 2017.2.0 -- FEniCS Project Steering Council <email address hidden> Mon, 04 Dec 2017 09:17:35 +0000