cabal + 代理:从 hackage 下载软件包

cabal + proxy: downloading packages from hackage

我在 Windows 上使用 Haskell 平台 7.10.2-a(64 位):

>cabal -V
cabal-install version 1.22.6.0
using version 1.22.4.0 of the Cabal library

我的代理需要(基本 HTTP)身份验证:

>set http_proxy=http://user:passwd@acme.com:port

它似乎适用于 cabal update:

> cabal update
Downloading the latest package list from hackage.haskell.org
Skipping download: Local and remote files match.

但是,当我尝试安装任何软件包时,都失败了:

> cabal get ghc-mod
Warning: The package list for 'hackage.haskell.org' does not exist. Run 'cabal
update' to download it.
cabal: There is no package named 'ghc-mod'.

>cabal install shelltestrunner
Warning: The package list for 'hackage.haskell.org' does not exist. Run 'cabal
update' to download it.
cabal: There is no package named 'shelltestrunner'.
You may need to run 'cabal update' to get the latest list of available
packages.

如何让 getinstall 真正使用代理?或者是否有其他一些问题阻止安装包被黑客入侵?

我可能找到了原因,当使用cabal -v update时,它显示的路径类似于

\ACME.NET\UserData\username\RF\AppData\Roaming\cabal\packages\hackage.haskell.org[=11=]-index.tar.gz

虽然 cabal 的其他用途使用 C:\Users\username\AppData\.. 等路径,但 没有 显示路径中的 RF 文件夹。必须是我公司的网络服务器配置。无论如何,我更新了 remote-repo-cache 等路径以使用 cabal/config 中的另一个文件夹,现在效果更好了。