Show patches with: Series = [bug#40815] gnu: Add metamath.       |    Archived = No       |   1 patch
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#40815] gnu: Add metamath. [bug#40815] gnu: Add metamath. - - - 2-1 2020-05-13 ashish.is--- via Guix-patches" via Accepted