diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2016-01-04 11:18:05 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2016-03-14 12:36:49 +0100 |
| commit | 535e2a2feedf95c8a3b2ef390ad9c2e5935b60be (patch) | |
| tree | 08b7dc56bc73c782d537e8623ca6787c822c21c9 /gnu | |
| parent | e1a56158759adda03de732ab1e3952a96919a4c0 (diff) | |
gnu: ant: Update source URL.
* gnu/packages/java.scm (ant)[source]: Use Apache mirror instead of
plain URL.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/java.scm | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index ee987fce8a..9b6a647f25 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -139,9 +139,8 @@ is implemented.") (version "1.9.6") (source (origin (method url-fetch) - (uri (string-append - "https://www.apache.org/dist/ant/source/apache-ant-" - version "-src.tar.gz")) + (uri (string-append "mirror://apache/ant/source/apache-ant-" + version "-src.tar.gz")) (sha256 (base32 "1396wflczyxjxl603dhxjvd559f289lha9y2f04f71c7hapjl3am")))) |