metamath (0.198-1) unstable; urgency=medium

  [ Debian Janitor ]
  * Use secure URI in Homepage field.
  * Update standards version to 4.6.1, no changes needed.

  [ Giovanni Mascellani ]
  * Add debian/gpb.conf to use pristine-tar.
  * Update debian/watch to version 5 and using the GitHub template.
  * New upstream version.
    + Update debian/copyright.
  * Use secure URI in debian/copyright.
  * Bump Standards-Version to 4.7.2, no changes needed.

 -- Giovanni Mascellani <gio@debian.org>  Sat, 06 Dec 2025 22:21:59 +0100

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