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 <gio@debian.org>  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 <gio@debian.org>  Sun, 12 Jul 2020 17:55:48 +0200

metamath (0.180-1) unstable; urgency=medium

  * Initial release (closes: #947404).

 -- Giovanni Mascellani <gio@debian.org>  Sat, 28 Dec 2019 08:09:58 +0100
