fenics (1:1.5.0.1~ppa1~utopic1) utopic; urgency=medium * Sync from Debian unstable. * debian/control: - Mangle Maintainer field. - Add mshr in Depends. -- Johannes Ring <email address hidden> Wed, 14 Jan 2015 15:16:58 +0100