fenics (1:2017.1.0.1~ppa1~zesty1) zesty; urgency=medium * Sync from Debian. * d/control: - Mangle Maintainer field. - Add mshr to Depends. -- Johannes Ring <email address hidden> Thu, 11 May 2017 14:30:19 +0200