Не удается заставить обновление Кабала работать в корпоративной сети.

Я пытаюсь использовать haskell на работе. Я установил HP, но не могу заставить Кабал обновиться. Я предполагаю, что это проблема с брандмауэром или DNS.

$ cabal update
Downloading the latest package list from hackage.haskell.org
cabal.exe: openTCPConnection: host lookup failure for "hackage.haskell.org"

Есть идеи, с чего начать, чтобы это исправить, или обходной путь?