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/packages.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/packages.scm')
0 files changed, 0 insertions, 0 deletions