diff mbox series

[bug#43271] gnu: metamath: Update to 0.192.

Message ID 2LH2YOGBZTBLC.2VG657MBZBIHJ@wilsonb.com
State Accepted
Headers show
Series [bug#43271] gnu: metamath: Update to 0.192. | expand

Checks

Context Check Description
cbaines/comparison success View comparision
cbaines/git branch success View Git branch
cbaines/applying patch fail View Laminar job

Commit Message

ashish.is--- via Guix-patches" via Sept. 8, 2020, 9:10 a.m. UTC

Comments

Efraim Flashner Sept. 8, 2020, 9:14 a.m. UTC | #1 
Looks good. Patch pushed!
diff mbox series

Patch

From e5710a8819ef0ea090920daf56353144aef1bcfb Mon Sep 17 00:00:00 2001
From: "B. Wilson" <elaexuotee@wilsonb.com>
Date: Tue, 8 Sep 2020 18:01:34 +0900
Subject: [PATCH] gnu: metamath: Update to 0.192.
To: guix-patches@gnu.org

* gnu/packages/maths.scm (metamath): Update to 0.192.
---
 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 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)
-- 
2.28.0