fenics (1:2019.1.0.1~ppa1~disco1) disco; urgency=medium * New upstream release. * Standards-Version: 4.3.0 * debhelper compatibility level 12 -- Drew Parsons <email address hidden> Sun, 28 Apr 2019 18:40:51 +0800