me
/
guix
Archived
1
0
Fork 0

gnu: polyml: Update to 5.7.1.

* gnu/packages/sml.scm (polyml): Update to 5.7.1.
master
Tobias Geerinckx-Rice 2017-12-13 14:18:51 +01:00
parent 4168ddf689
commit c2c5b115ab
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 3 additions and 2 deletions

View File

@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU ;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca> ;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -29,14 +30,14 @@
(define-public polyml (define-public polyml
(package (package
(name "polyml") (name "polyml")
(version "5.7") (version "5.7.1")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (string-append "https://github.com/polyml/polyml/archive/v" (uri (string-append "https://github.com/polyml/polyml/archive/v"
version ".tar.gz")) version ".tar.gz"))
(sha256 (sha256
(base32 "0ycjl746h0m22w9nsdssjl47d56jih12gpkdg3yw65gakj70sd0r")) (base32 "0a3hcv80p9j0fny6726kvgmzjzdmak9xw7f7rv8sxv96nhjdi3fi"))
(file-name (string-append name "-" version ".tar.gz")))) (file-name (string-append name "-" version ".tar.gz"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs