summary refs log tree commit diff
path: root/gnu
diff options
context:
space:
mode:
authorB. Wilson <elaexuotee@wilsonb.com>2020-09-08 18:01:34 +0900
committerEfraim Flashner <efraim@flashner.co.il>2020-09-08 12:12:36 +0300
commit0a7acf95dbe1daa6628eb3d0862eb80cce3befe6 (patch)
tree29487cc8e363033abab9ce35d5a8601194266e99 /gnu
parent59659f59fb6548b808812088e74ba9911a6dc5df (diff)
downloadguix-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')
-rw-r--r--gnu/packages/maths.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 97f57ddd24..df4d39f900 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -2668,7 +2668,7 @@ bindings to almost all functions of SLEPc.")
 (define-public metamath
   (package
     (name "metamath")
-    (version "0.183")
+    (version "0.192")
     (source
      (origin
        (method git-fetch)
@@ -2677,7 +2677,7 @@ bindings to almost all functions of SLEPc.")
              (commit (string-append "v" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "1jjf4fy6j53i40dh0yv0f9sngnw4gs24cig99vsg3q0303pwrhg7"))))
+        (base32 "1k31zw36h2b0w5r6sbn9qc0v4hj42vw53qlhf5l7q2h3p5qlzvic"))))
     (build-system gnu-build-system)
     (native-inputs
      `(("autoconf" ,autoconf)