summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-12-01 20:55:13 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-12-01 20:55:42 +0100
commit2368225019418a53e1d286f63e9cce56e6895d33 (patch)
treebe311c58aa21cd1d688180151f2e0e868453135e /gnu/packages
parent975ffa3d50f6d043ac263788a35d9b2cf38e2e34 (diff)
gnu: metamath: Update to 0.193.
* gnu/packages/maths.scm (metamath): Update to 0.193.
Diffstat (limited to 'gnu/packages')
-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 d3f3539e26..ce41b3f81b 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)