[request] update metamath version to 0.198

Gunnar Hjalmarsson gunnarhj at ubuntu.com
Mon Dec 5 14:20:58 UTC 2022


On 2022-11-30 01:07, STEVEN NGUYEN wrote:
> 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>)

A better way is to submit a Debian bug, to call the maintainer's 
attention to it.

https://www.debian.org/Bugs/

-- 
Cheers,

Gunnar Hjalmarsson
https://launchpad.net/~gunnarhj



More information about the Ubuntu-devel-discuss mailing list