Verbindungsprobleme im Paketmanager

[geheimratghost]

Mein Problem liegt einen Schritt weiter.

Im Paketmanager von Miktex habe ich ein Verbindungsproblem,
obwohl ich die richtige Proxy-Adresse eingegeben habe.
"connect failed in tcp_connect()"

Ich komme also nicht zur Auswahl der Mirrors.

\\Edit: Es lag am Hochschulinternetzugang. Zum Glück kann ich auch noch auf "normales" Internet ausweichen. Ohne Proxy und den Kram.