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
