diff options
| author | B. Wilson <elaexuotee@wilsonb.com> | 2020-07-07 13:52:30 +0900 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2020-07-07 14:03:56 +0200 |
| commit | 6667576b66b34d797c4b5ca4a9ef08ba921b5d2a (patch) | |
| tree | aa511ec43fb2f50316c4f7911186119d3aba34fe /ROADMAP | |
| parent | 675bca979e30314cdaed31656887ad52460f14e2 (diff) | |
| download | guix-6667576b66b34d797c4b5ca4a9ef08ba921b5d2a.tar.gz | |
gnu: metamath: Update to 0.183.
* gnu/packages/maths.scm (metamath): Update to 0.183. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions