[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: gnu: cddlib: Fix source URI.
From: |
Ben Woodcroft |
Subject: |
01/01: gnu: cddlib: Fix source URI. |
Date: |
Sat, 4 Feb 2017 05:38:29 +0000 (UTC) |
benwoodcroft pushed a commit to branch master
in repository guix.
commit 182dde82edd9e532c2a90616127cb09056648914
Author: Ben Woodcroft <address@hidden>
Date: Sat Feb 4 15:26:26 2017 +1000
gnu: cddlib: Fix source URI.
* gnu/packages/maths.scm (cddlib)[source]: Update source URI.
---
gnu/packages/maths.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 8892ab0..c9de4f4 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -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