metamath (0.195-1) unstable; urgency=medium * New upstream release. * Bump Standards-Version to 4.5.1. * Bump debhelper compat level to 13. -- Giovanni Mascellani Fri, 01 Jan 2021 11:03:45 +0100 metamath (0.183-1) unstable; urgency=medium * New upstream version. + Delete patches, which were merged upstream. * Add debian/watch file. -- Giovanni Mascellani Sun, 12 Jul 2020 17:55:48 +0200 metamath (0.180-1) unstable; urgency=medium * Initial release (closes: #947404). -- Giovanni Mascellani Sat, 28 Dec 2019 08:09:58 +0100