试图安装`idris`:'hackage.haskell.org'的包列表不存在。运行'cabal update'下载

时间:2018-05-14 10:54:21

标签: haskell installation cabal idris

更新3。

还有一些尝试:

$ curl -sSL https://get.haskellstack.org/ | sh
Stack Version 1.1.2 already appears to be installed at:
  /usr/local/bin/stack
Use 'stack upgrade' or your OS's package manager to upgrade,
or pass '-f' to this script to over-write the existing binary, e.g.:
  curl -sSL https://get.haskellstack.org/ | sh -s - -f
$ curl -sSL https://get.haskellstack.org/ | sh -s - -f
Using generic bindist...

  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0curl: (35) error:1407742E:SSL routines:SSL23_GET_SERVER_HELLO:tlsv1 alert protocol version
curl download failed: https://github.com/commercialhaskell/stack/releases/download/v1.7.1/stack-1.7.1-osx-x86_64.tar.gz

更新2。

运行stack也没有运气:

$ stack upgrade
remote: Counting objects: 64989, done.
remote: Compressing objects: 100% (53367/53367), done.
remote: Total 64989 (delta 17601), reused 54127 (delta 10710), pack-reused 0
Receiving objects: 100% (64989/64989), 17.17 MiB | 1.48 MiB/s, done.
Resolving deltas: 100% (17601/17601), completed with 2519 local objects.
From https://github.com/commercialhaskell/all-cabal-hashes
 + b2fd8036a5...56a8e992cb display         -> origin/display  (forced update)
 t [tag update]          current-hackage -> current-hackage
Fetched package index.    
Populated index cache.    
stack-1.7.1: download
Could not parse '/private/var/folders/qg/f15r0d6s1gj6nsbg_517515h0000gn/T/stack-upgrade75400/stack-1.7.1/stack.yaml':
AesonException "Error in $['extra-deps'][0]: failed to parse field 'extra-deps': failed to parse field extra-deps: (Invalid package identifier: \"rio-0.1.1.0@rev:0\",\"rio-0.1.1.0@rev:0\")"
See http://docs.haskellstack.org/en/stable/yaml_configuration/.
$ stack --resolver lts-10.10 install idris
Run from outside a project, using implicit global project config
Using latest snapshot resolver: lts-11.9
Writing implicit global project config file to: /Users/dmitrizaitsev/.stack/global-project/stack.yaml
Note: You can change the snapshot via the resolver field there.
Downloaded lts-10.10 build plan.    
AesonException "Error in $.packages.cassava.constraints.flags: failed to parse field packages: failed to parse field constraints: failed to parse field flags: Invalid flag name: \"bytestring--lt-0_10_4\""

更新。 经过多次尝试后,更新似乎有效。 然而,冒险看起来很远:

$ cabal install idris
...
Failed to install regex-base-0.93.2
Build log ( /Users/dmitrizaitsev/.cabal/logs/regex-base-0.93.2.log ):
/Users/dmitrizaitsev/.cabal/logs/regex-base-0.93.2.log: openFile: does not
exist (No such file or directory)

所以构建日志写入文件,但不知何故该文件不存在?? !! ??

只是尝试安装idris(在Mac OSX 10.8上):

$ cabal update; cabal install idris
Downloading the latest package list from hackage.haskell.org
cabal: Failed to download http://hackage.haskell.org/00-index.tar.gz : HTTP
code 503
Warning: The package list for 'hackage.haskell.org' does not exist. Run 'cabal
update' to download it.
cabal: There is no package named 'idris'.
You may need to run 'cabal update' to get the latest list of available
packages.

运行cabal update下载不可用的列表??? 作为对cabal update的回应?

知道这里发生了什么吗?

1 个答案:

答案 0 :(得分:2)

您可以使用以下命令通过堆栈安装Idris:

  1. 安装堆栈:curl -sSL https://get.haskellstack.org/ | sh
  2. 安装Idris:stack --resolver lts-10.10 install idris