Hay varias posibilidades. Me temo que probablemente deba hablar con su departamento de TI.
Hay un sabor de autenticación de servidor de seguridad llamada NTLM que Cabal no soporta. Es una cosa de propiedad de Microsoft que solo es compatible con Internet Explorer (¿cuál es un pequeño abrazo y se extienden entre amigos?).
como también se sugiere, puede ser que su firewall está bloqueando archivos gzip, o incluso puede estar buscando en su interior y ver código ejecutable. Puede ver si esto es así al intentar descargar un solo paquete con su navegador web: si el contenido está siendo bloqueado, recibirá un mensaje que lo diga y puede hablar con su departamento de TI para desbloquearlo.
alternativa, se puede hacer lo que hice: descargar las descripciones de los paquetes y todo archivo de las versiones más recientes de la casa, llevarlo a trabajar en una unidad zip, y configurarlo como un repositorio local para Cabal Instalar. Lo siento, pero ha pasado un tiempo y no recuerdo exactamente cómo, pero necesitas ambos archivos.
¿Tiene una conexión a internet? ¿Necesitas un servidor proxy en el trabajo? – fuz
De acuerdo con http://stackoverflow.com/questions/1551053/how-do-i-get-cabal-to-bypass-my-windows-proxy-settings, Cabal detecta automáticamente su configuración de proxy. ¿Su empresa está bloqueando archivos gzip? –
Logré descargar un par de archivos gzip directamente de hackage, así que ese no debería ser el problema –