aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrett Gilio <brettg@posteo.net>2019-11-22 15:25:27 -0600
committerTobias Geerinckx-Rice <me@tobias.gr>2019-11-22 22:51:20 +0100
commit8717fb8d5f30915999869e80782ae0fcf1c6698d (patch)
tree3d31d6900f65db9a5c3f29b3b2fa2a9d91d0b95c
parent4c7ca5d299cb9c900e8c3b4a2d289a6e11075ff9 (diff)
downloadpatches-8717fb8d5f30915999869e80782ae0fcf1c6698d.tar
patches-8717fb8d5f30915999869e80782ae0fcf1c6698d.tar.gz
gnu: polyml: Update to 5.8.
* gnu/packages/sml.scm (polyml): Update to 5.8. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
-rw-r--r--gnu/packages/sml.scm5
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index 0874b81cc7..fd1ba4a539 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -2,6 +2,7 @@
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
+;;; Copyright © 2019 Brett Gilio <brettg@posteo.net>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -32,7 +33,7 @@
(define-public polyml
(package
(name "polyml")
- (version "5.7.1")
+ (version "5.8")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -41,7 +42,7 @@
(file-name (git-file-name name version))
(sha256
(base32
- "0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755"))))
+ "1jabrf9cnmsppawga6q5pjiq1cdayilxp66fkxykczs6vv2gz7f9"))))
(build-system gnu-build-system)
(inputs
`(("gmp" ,gmp)