Есть несколько возможностей. Боюсь, вам, вероятно, придется поговорить с вашим ИТ-отделом.
Существует разновидность аутентификации брандмауэра под названием NTLM
что Кабала не поддерживает. Это собственность Microsoft, которая
поддерживается только Internet Explorer (что немного
продлить между друзьями?).
Как и предполагалось, возможно, ваш брандмауэр блокирует
GZIP-файлы, или он может даже смотреть в них и видеть
исполняемый код Вы можете сказать, если это, пытаясь загрузить
один пакет с вашим веб-браузером: если содержимое
заблокирован, то вы получите сообщение о том, и можете поговорить с вашим
ИТ-отдел о разблокировке.
В качестве альтернативы вы можете сделать то, что я сделал: загрузить описания пакетов и весь архив последних версий из дома, взять его для работы на zip-диске и настроить его как локальный репозиторий для установки Cabal. Извините, но это было какое-то время, и я не могу вспомнить, как именно, но вам нужны оба файла.