[request] update metamath version to 0.198
STEVEN NGUYEN
NGUYESTE008 at students.garlandisd.net
Wed Nov 30 00:07:52 UTC 2022
I don't know if this is the right place to email, but in the `metamath`
package, version 0.198 fixes a /rewrap bug. (as mentioned in
https://us.metamath.org/mpeuni/mmrecent.html)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-devel-discuss/attachments/20221129/8b5a4d84/attachment.html>
More information about the Ubuntu-devel-discuss
mailing list