set debian mirror for csail

diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml
index 1317d3c472041d80c9727b58f26d38e551359b6d..ff008e7b7d48711c8d7826bef6732297600f55bc 100644 (file)
--- 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