From 1218685ef4683a4ad743a7de962a435f96368e7d Mon Sep 17 00:00:00 2001 From: Peter Palfrader Date: Sun, 13 Jul 2014 09:46:48 +0200 Subject: [PATCH] set debian mirror for csail --- modules/debian-org/misc/hoster.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml index 1317d3c47..ff008e7b7 100644 --- a/modules/debian-org/misc/hoster.yaml +++ b/modules/debian-org/misc/hoster.yaml @@ -67,6 +67,7 @@ csail: - 128.31.0.0/24 searchpaths: [debprivate-csail.debian.org] nameservers: [128.30.2.24, 128.30.2.25, 128.30.0.125] + mirror-debian: http://debian.csail.mit.edu/debian/ dgi: netrange: - 93.94.130.128/26 -- 2.20.1