Команда `hoogle data` не удается загрузить base.txt

Question

Это выход hoogle data:

Downloading downloads/platform.cabal 
# platform.cabal (for downloads/platform.cabal) 
2015-02-10 19:44:01 URL:http://code.galois.com/darcs/haskell-platform/haskell-platform.cabal [3334/3334] -> downloads/platform.cabal [1] 
Downloaded downloads/platform.cabal 
Downloading downloads/cabal.tar.gz 
# cabal.tar.gz (for downloads/cabal.tar.gz) 
2015-02-10 19:44:09 URL:http://hackage.haskell.org/packages/index.tar.gz [8794998/8794998] -> downloads/cabal.tar.gz [1] 
Downloaded downloads/cabal.tar.gz 
# cabal.tar (for downloads/cabal.tar) 
Extracting tar file downloads/cabal.index 
# cabal.tar (for downloads/cabal.index) 
Finished extracting tar file downloads/cabal.index 
# cabal.tar (for downloads/cabal.index) 
Downloading downloads/hoogle.tar.gz 
# hoogle.tar.gz (for downloads/hoogle.tar.gz) 
2015-02-10 19:44:38 URL:http://hackage.haskell.org/packages/hoogle.tar.gz [20734807/20734807] -> downloads/hoogle.tar.gz [1] 
Downloaded downloads/hoogle.tar.gz 
# hoogle.tar (for downloads/hoogle.tar) 
Extracting tar file downloads/hoogle.index 
# hoogle.tar (for downloads/hoogle.index) 
Finished extracting tar file downloads/hoogle.index 
# hoogle.tar (for downloads/hoogle.index) 
Downloading downloads/base.txt 
# base.txt (for downloads/base.txt) 
hoogle: Error when running Shake build system: 
* default.hoo 
* platform.hoo 
* mtl.hoo 
* base.txt 
* downloads/base.txt.cache 
* downloads/base.txt 
user error (Development.Shake.command, system command failed 
Command: wget -nv --no-check-certificate http://www.haskell.org/hoogle/base.txt --output-document=downloads/base.txt 
Exit code: 4 
Stderr was empty) 

Поиск на Google не дают никакого полезного результата. Браузер не разрешает http://www.haskell.org/hoogle/base.txt, так что я думаю, что это не так? Любые трудовые удары?

Answer 1

wget код выхода 4 indicates a network error.

Однако URL-адрес в моем браузере загружается точным образом, с перенаправлением на HTTPS.

Если вы запустите команду wget, она делает прямо, вы получаете больше информации?