New Upstream Release - metamath

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

Resulting package

Built on 2021-05-29T13:05 (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-dbgsym
apt install -t fresh-releases metamath

More details

Full run details