06/08: gnu: metamath: Update to 0.193.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 2368225019418a53e1d286f63e9cce56e6895d33
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Tue Dec 1 20:55:13 2020 +0100

    gnu: metamath: Update to 0.193.
    
    * gnu/packages/maths.scm (metamath): Update to 0.193.
---
 gnu/packages/maths.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index d3f3539..ce41b3f 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -2684,7 +2684,7 @@ bindings to almost all functions of SLEPc.")
 (define-public metamath
   (package
     (name "metamath")
-    (version "0.192")
+    (version "0.193")
     (source
      (origin
        (method git-fetch)
@@ -2693,7 +2693,7 @@ bindings to almost all functions of SLEPc.")
              (commit (string-append "v" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "1k31zw36h2b0w5r6sbn9qc0v4hj42vw53qlhf5l7q2h3p5qlzvic"))))
+        (base32 "1s9hyknfvhj86g3giayyf3dxzg23iij0rs7bdvj075v9qbyhqn9b"))))
     (build-system gnu-build-system)
     (native-inputs
      `(("autoconf" ,autoconf)