-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 06 Dec 2025 22:21:59 +0100
Source: metamath
Binary: metamath metamath-dbgsym
Architecture: source amd64
Version: 0.198-1
Distribution: unstable
Urgency: medium
Maintainer: Giovanni Mascellani <gio@debian.org>
Changed-By: Giovanni Mascellani <gio@debian.org>
Description:
metamath - Language for mathematical proofs
Changes:
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.
Checksums-Sha1:
c4503cc6140b08f7bda9395453f505502cf036aa 1209 metamath_0.198-1.dsc
ef86b9339581505c4eebdc432781aff7b500da3a 468643 metamath_0.198.orig.tar.gz
bfa6b6d87b8bf093a2ed20372aedd733082a13ea 2048 metamath_0.198-1.debian.tar.xz
a57d9570a895b5313a5593574fb6580497166831 514432 metamath-dbgsym_0.198-1_amd64.deb
99a447f57382d13dbe3c371c429755a38dbe7f15 5892 metamath_0.198-1_amd64.buildinfo
a044d9a83477180d349f50c43ae17663054f6b1d 357896 metamath_0.198-1_amd64.deb
Checksums-Sha256:
e568a348d904820d244a6cf355bc3762f97fbefdad7fc1f8b74cfc5764168876 1209 metamath_0.198-1.dsc
01c4a30d676c249a2aefe76b3bfcee04469f3fcd67a951c221de0e2762bdbe34 468643 metamath_0.198.orig.tar.gz
f91e521068b00945df92d9c404197a774c9deec6ecefd5492c67d5c4cd3f9643 2048 metamath_0.198-1.debian.tar.xz
dedd764ac98989100a47cee425124b6325597b4ae458102e152ce4631d6dcc6e 514432 metamath-dbgsym_0.198-1_amd64.deb
daca2c6c4c64e108f8a335d76c13efaada1deaa129683a4a1d0c1601ec109150 5892 metamath_0.198-1_amd64.buildinfo
55851f67ea7d2f1d16c0e32e765a317a8eb3d9e1dcd9bb9ccfba97e00090e421 357896 metamath_0.198-1_amd64.deb
Files:
4259022d1d6af6f7ff158fffc4fb269f 1209 math optional metamath_0.198-1.dsc
f08db9ef8d139e28a487cef027e9e552 468643 math optional metamath_0.198.orig.tar.gz
7112af3c1203e08d93d58f25d1fc8d9d 2048 math optional metamath_0.198-1.debian.tar.xz
2535af5111500762ca0efb551883b1e9 514432 debug optional metamath-dbgsym_0.198-1_amd64.deb
64d6acdacdb74c0d36124db41ae5c5bb 5892 math optional metamath_0.198-1_amd64.buildinfo
38e1acf6546f080cd22b786e6a4f3141 357896 math optional metamath_0.198-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCaTSetwAKCRCNr8EMz954
SfvDAQC8FGbYQoyRHzfZ2+zbhJjeyvFvciNc6Vp7yQbz9d/l2wD/QOU+0AkK3LVY
2p1VpjPrmR3ZiEF3Oe6o+TcoRN8p1Ac=
=1kcy
-----END PGP SIGNATURE-----
