diff options
author | B. Wilson <elaexuotee@wilsonb.com> | 2020-07-01 12:56:10 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2020-07-01 12:56:10 +0200 |
commit | d277c00ec942b7eb52f918b5e17c043e95fef27c (patch) | |
tree | c81ab135d479d2e52dd9af1d307b186a827a6342 /bootstrap | |
parent | 9f5f3932debc72a57a830fc6ca5ab980f6db4941 (diff) | |
download | guix-d277c00ec942b7eb52f918b5e17c043e95fef27c.tar.gz |
gnu: Add metamath.
* gnu/packages/maths.scm (metamath): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions