[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#40815] gnu: Add metamath
|
From: |
B. Wilson |
|
Subject: |
[bug#40815] gnu: Add metamath |
|
Date: |
Mon, 11 May 2020 23:05:48 +0900 |
|
User-agent: |
mblaze/0.5.1 |
Updated patch for metamath, containing two fixes:
* Rename source repo checkout to match package name (fixes lint warning), and
* Consolidate pdf under share/doc/<name>-<version> with LICENSE.TXT.
0001-gnu-Add-metamath.patch
Description: Text Data
signature.asc
Description: PGP signature