From 1218685ef4683a4ad743a7de962a435f96368e7d Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
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 1317d3c4..ff008e7b 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.39.5