parent
073e0c399d
commit
bfe6d6ea66
|
@ -743,7 +743,7 @@ computing convex hulls.")
|
||||||
(define-public lrslib
|
(define-public lrslib
|
||||||
(package
|
(package
|
||||||
(name "lrslib")
|
(name "lrslib")
|
||||||
(version "7.1")
|
(version "7.2")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
|
@ -752,7 +752,7 @@ computing convex hulls.")
|
||||||
(string-delete #\. version) ".tar.gz"))
|
(string-delete #\. version) ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"05kq3hzam31dlmkccv3v358r478kpvx76mw37ka12c6ypwv5dsnk"))))
|
"1w1jsnfgny8cihndr5gfm99pvwp48qsvxkqfsi2q87gd3m57aj7w"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(inputs
|
(inputs
|
||||||
(list gmp))
|
(list gmp))
|
||||||
|
|
Reference in New Issue