gnu: 4ti2: Update to 1.6.9.

* gnu/packages/maths.scm (4ti2): Update to 1.6.9.
[source]: Update URI.
master
Tobias Geerinckx-Rice 2019-02-24 14:42:03 +01:00
parent d9c8009832
commit eea4a0910c
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 9 additions and 7 deletions

View File

@ -428,15 +428,17 @@ LP/MIP solver is included in the package.")
(define-public 4ti2 (define-public 4ti2
(package (package
(name "4ti2") (name "4ti2")
(version "1.6.7") (version "1.6.9")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (string-append "http://www.4ti2.de/version_" version (uri (string-append "https://github.com/4ti2/4ti2/releases/download/"
"/4ti2-" version ".tar.gz")) "Release_"
(sha256 (string-map (lambda (c) (if (char=? c #\.) #\_ c))
(base32 version)
"1frix3rnm9ffr93alqzw4cavxbfpf524l8rfbmcpyhwd3n1km0yl")))) "/4ti2-" version ".tar.gz"))
(sha256
(base32 "0rj92x6p9m3la5gasjbj7sa569im527ffmka5y2sv1amgd3fflrh"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("which" ,(@ (gnu packages base) which)))) ; for the tests `(("which" ,(@ (gnu packages base) which)))) ; for the tests