HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f5f393) | patch
gnu: Add metamath.
authorB. Wilson <elaexuotee@wilsonb.com>
Wed, 1 Jul 2020 10:56:10 +0000 (12:56 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 1 Jul 2020 10:56:10 +0000 (12:56 +0200)
commitd277c00ec942b7eb52f918b5e17c043e95fef27c
treec81ab135d479d2e52dd9af1d307b186a827a6342tree | snapshot (tar.gz zip)
parent9f5f3932debc72a57a830fc6ca5ab980f6db4941commit | diff
gnu: Add metamath.

* gnu/packages/maths.scm (metamath): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
gnu/packages/maths.scm diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/