gnu: polyml: Update to 5.8.
* gnu/packages/sml.scm (polyml): Update to 5.8. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>master
parent
4c7ca5d299
commit
8717fb8d5f
|
@ -2,6 +2,7 @@
|
||||||
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
|
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
|
||||||
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
|
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
|
||||||
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
|
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
|
||||||
|
;;; Copyright © 2019 Brett Gilio <brettg@posteo.net>
|
||||||
;;;
|
;;;
|
||||||
;;; This file is part of GNU Guix.
|
;;; This file is part of GNU Guix.
|
||||||
;;;
|
;;;
|
||||||
|
@ -32,7 +33,7 @@
|
||||||
(define-public polyml
|
(define-public polyml
|
||||||
(package
|
(package
|
||||||
(name "polyml")
|
(name "polyml")
|
||||||
(version "5.7.1")
|
(version "5.8")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
(uri (git-reference
|
(uri (git-reference
|
||||||
|
@ -41,7 +42,7 @@
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755"))))
|
"1jabrf9cnmsppawga6q5pjiq1cdayilxp66fkxykczs6vv2gz7f9"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(inputs
|
(inputs
|
||||||
`(("gmp" ,gmp)
|
`(("gmp" ,gmp)
|
||||||
|
|
Reference in New Issue