Use mirror:// URIs for ftp.debian.org

Provide a more robust experience for users with horrible network
hardware (me).
This commit is contained in:
Tobias Geerinckx-Rice
2015-05-22 10:39:27 +02:00
parent 188a067d8e
commit 5d5044b2ec
7 changed files with 9 additions and 9 deletions
+2 -2
View File
@@ -5,7 +5,7 @@ stdenv.mkDerivation rec {
version = "1.01b";
src = fetchurl {
url = "http://ftp.debian.org/debian/pool/main/m/mmv/mmv_${version}.orig.tar.gz";
url = "mirror://debian/pool/main/m/mmv/mmv_${version}.orig.tar.gz";
sha256 = "0399c027ea1e51fd607266c1e33573866d4db89f64a74be8b4a1d2d1ff1fdeef";
};
@@ -13,7 +13,7 @@ stdenv.mkDerivation rec {
# Use Debian patched version, as upstream is no longer maintained and it
# contains a _lot_ of fixes.
(fetchurl {
url = "http://ftp.debian.org/debian/pool/main/m/mmv/mmv_${version}-15.diff.gz";
url = "mirror://debian/pool/main/m/mmv/mmv_${version}-15.diff.gz";
sha256 = "9ad3e3d47510f816b4a18bae04ea75913588eec92248182f85dd09bc5ad2df13";
})
];