[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.
0001-gnu-Add-metamath.patch
Description: Text Data
signature.asc
Description: PGP signature
[bug#40815] gnu: Add metamath,
elaexuotee <=