From 535e2a2feedf95c8a3b2ef390ad9c2e5935b60be Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Date: Mon, 4 Jan 2016 11:18:05 +0100
Subject: [PATCH] gnu: ant: Update source URL.

* gnu/packages/java.scm (ant)[source]: Use Apache mirror instead of
  plain URL.
---
 gnu/packages/java.scm | 5 ++---
 1 file 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 @@ (define-public ant
     (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"))))