Nach inzwischen mehr als 6 Jahren und vielen Milliarden requests, wird mein Debian Mirror out of service gehen. Ich benötige den Platz auf der Maschine für (noch) wichtigere Dinge.
Bitte aktualisiert bei Bedarf eure sources.list. Ich werde in den nächsten Tagen den hostnamen auf einen anderen Mirror umleiten.
Over and out!