gnu: cddlib: Fix source URI.
* gnu/packages/maths.scm (cddlib)[source]: Update source URI.
This commit is contained in:
parent
ad167d028e
commit
182dde82ed
@ -313,7 +313,7 @@ integer programming problems and computes Markov bases for statistics.")
|
||||
(source
|
||||
(origin
|
||||
(method url-fetch)
|
||||
(uri (string-append "ftp://ftp.ifor.math.ethz.ch/pub/fukuda/cdd/cddlib-"
|
||||
(uri (string-append "ftp://ftp.math.ethz.ch/users/fukudak/cdd/cddlib-"
|
||||
(string-delete #\. version) ".tar.gz"))
|
||||
(sha256
|
||||
(base32
|
||||
|
Loading…
Reference in New Issue
Block a user