parent
438c4ee1de
commit
f37e2388d0
|
@ -640,7 +640,7 @@ computing convex hulls.")
|
||||||
(define-public lrslib
|
(define-public lrslib
|
||||||
(package
|
(package
|
||||||
(name "lrslib")
|
(name "lrslib")
|
||||||
(version "7.0a")
|
(version "7.1")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
|
@ -649,7 +649,7 @@ computing convex hulls.")
|
||||||
(string-delete #\. version) ".tar.gz"))
|
(string-delete #\. version) ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"034fa45r9hwx6ljmgpxk2872q34nklkalpdkc6s9hqw57rivi36k"))))
|
"05kq3hzam31dlmkccv3v358r478kpvx76mw37ka12c6ypwv5dsnk"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(inputs
|
(inputs
|
||||||
`(("gmp" ,gmp)))
|
`(("gmp" ,gmp)))
|
||||||
|
|
Reference in New Issue