amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'master' into staging

Browse source
This commit is contained in:
Marius Bakke 2019-02-24 21:25:52 +01:00
commit aa51eb2073
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
49 changed files with 567 additions and 299 deletions
Download patch file Download diff file Expand all files Collapse all files

16
gnu/packages/maths.scm
View file

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