diff options
author | B. Wilson <elaexuotee@wilsonb.com> | 2020-09-08 18:01:34 +0900 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2020-09-08 12:12:36 +0300 |
commit | 0a7acf95dbe1daa6628eb3d0862eb80cce3befe6 (patch) | |
tree | 29487cc8e363033abab9ce35d5a8601194266e99 /gnu/machine.scm | |
parent | 59659f59fb6548b808812088e74ba9911a6dc5df (diff) | |
download | guix-patches-0a7acf95dbe1daa6628eb3d0862eb80cce3befe6.tar guix-patches-0a7acf95dbe1daa6628eb3d0862eb80cce3befe6.tar.gz |
gnu: metamath: Update to 0.192.
* gnu/packages/maths.scm (metamath): Update to 0.192.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/machine.scm')
0 files changed, 0 insertions, 0 deletions