diff options
| author | B. Wilson <elaexuotee@wilsonb.com> | 2020-05-11 20:10:48 +0900 |
|---|---|---|
| committer | Guix Patches Tester <> | 2020-05-11 12:28:17 +0100 |
| commit | adbd26505f1932c0bb55d6e2474575c680f7d84b (patch) | |
| tree | 6cdf1eecaae9cefb6f9ccec11aa757d6b41ee997 /gnu/packages/base.scm | |
| parent | cef0e08c235d1eb9943571648ef57a59041bb292 (diff) | |
| download | patches-series-3914.tar patches-series-3914.tar.gz | |
gnu: Add metamath.series-3914
* gnu/packages/maths.scm (metamath): New variable.
Diffstat (limited to 'gnu/packages/base.scm')
0 files changed, 0 insertions, 0 deletions