[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#40815] gnu: Add metamath

From: elaexuotee
Subject: [bug#40815] gnu: Add metamath
Date: Wed, 24 Jun 2020 10:14:39 +0900
User-agent: mblaze/0.7

Oops. Looks like my previous emais's patch was for the version that *didn't*
comment out the "doc" output. The one included here should be correct.

Attachment: 0001-gnu-Add-metamath.patch
Description: Text Data

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]