diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-12-01 20:55:13 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-12-01 20:55:42 +0100 |
| commit | 2368225019418a53e1d286f63e9cce56e6895d33 (patch) | |
| tree | be311c58aa21cd1d688180151f2e0e868453135e /gnu/build | |
| parent | 975ffa3d50f6d043ac263788a35d9b2cf38e2e34 (diff) | |
| download | guix-2368225019418a53e1d286f63e9cce56e6895d33.tar.gz guix-2368225019418a53e1d286f63e9cce56e6895d33.zip | |
gnu: metamath: Update to 0.193.
* gnu/packages/maths.scm (metamath): Update to 0.193.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions