diff options
| author | B. Wilson <elaexuotee@wilsonb.com> | 2020-04-23 20:28:49 +0900 |
|---|---|---|
| committer | Guix Patches Tester <> | 2020-04-24 14:35:13 +0100 |
| commit | f99e95ec0636889581d58379335a651a710d8954 (patch) | |
| tree | 02ccfdf59d02c3f950fcd95a8f78df3e4bb34889 /nix | |
| parent | a1d369f139b4788fd66ed0129cb43c205248dc56 (diff) | |
| download | guix-patches-f99e95ec0636889581d58379335a651a710d8954.tar guix-patches-f99e95ec0636889581d58379335a651a710d8954.tar.gz | |
gnu: Add metamath
* gnu/packages/maths.scm (metamath): New variable.
* gnu/packages/patches/metamath-remove-missing-file-refs.patch: New file.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions