New Upstream Release - metamath

Merged new upstream version: 0.198 (was: 0.195).

Resulting package

Built on 2022-05-16T11:11 (took 1m58s)

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-releases metamath-dbgsymapt install -t fresh-releases metamath

More details

Full run details

Lintian Result

Historical runs