From 0a7acf95dbe1daa6628eb3d0862eb80cce3befe6 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.
* gnu/packages/maths.scm (metamath): Update to 0.192.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
---
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 97f57ddd247..df4d39f9003 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -2668,7 +2668,7 @@ (define-public python-slepc4py
(define-public metamath
(package
(name "metamath")
- (version "0.183")
+ (version "0.192")
(source
(origin
(method git-fetch)
@@ -2677,7 +2677,7 @@ (define-public metamath
(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)
--
GitLab