时间戳

首页 > 解决方案 > 尝试安装“idris”：“hackage.haskell.org”的包列表不存在。运行 'cabal update' 下载它

haskell - 尝试安装“idris”：“hackage.haskell.org”的包列表不存在。运行 'cabal update' 下载它

问题描述

更新 3。

更多尝试：

$ curl -sSL https://get.haskellstack.org/ | 嘘
堆栈版本 1.1.2 似乎已安装在：
  /usr/local/bin/堆栈
使用“堆栈升级”或您的操作系统的包管理器进行升级，
或将“-f”传递给此脚本以覆盖现有的二进制文件，例如：
  curl -sSL https://get.haskellstack.org/ | sh -s - -f

$ curl -sSL https://get.haskellstack.org/ | sh -s - -f
使用通用绑定...

  % 总计 % 接收 % Xferd 平均速度 时间 时间 时间 当前
                                 下载上传总花费剩余速度
  0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0curl: (35) 错误:1407742E:SSL 例程:SSL23_GET_SERVER_HELLO:tlsv1 警报协议版本
curl 下载失败：https://github.com/commercialhaskell/stack/releases/download/v1.7.1/stack-1.7.1-osx-x86_64.tar.gz

更新 2。

运行也没有运气stack：

$堆栈升级
远程：计数对象：64989，完成。
远程：压缩对象：100% (53367/53367)，完成。
远程：总计 64989（增量 17601），重用 54127（增量 10710），打包重用 0
接收对象：100% (64989/64989)，17.17 MiB | 1.48 MiB/s，完成。
解决增量：100% (17601/17601)，完成了 2519 个本地对象。
来自 https://github.com/commercialhaskell/all-cabal-hashes
 + b2fd8036a5...56a8e992cb 显示 -> 原点/显示（强制更新）
 t [标签更新] current-hackage -> current-hackage
获取的包索引。    
填充的索引缓存。    
stack-1.7.1：下载
无法解析“/private/var/folders/qg/f15r0d6s1gj6nsbg_517515h0000gn/T/stack-upgrade75400/stack-1.7.1/stack.yaml”：
AesonException "$['extra-deps'][0] 中的错误：无法解析字段 'extra-deps'：无法解析字段 extra-deps：（无效的包标识符：\"rio-0.1.1.0@rev:0 \",\"rio-0.1.1.0@rev:0\")"
请参阅 http://docs.haskellstack.org/en/stable/yaml_configuration/。

$ stack --resolver lts-10.10 安装 idris
从项目外部运行，使用隐式全局项目配置
使用最新的快照解析器：lts-11.9
将隐式全局项目配置文件写入：/Users/dmitrizaitsev/.stack/global-project/stack.yaml
注意：您可以通过那里的解析器字段更改快照。
下载 lts-10.10 构建计划。    
AesonException "$.packages.cassava.constraints.flags 中的错误：解析字段包失败：解析字段约束失败：解析字段标志失败：标志名称无效：\"bytestring--lt-0_10_4\""

更新。经过多次尝试，更新似乎有效。然而，冒险似乎远未结束：

$ cabal 安装 idris
...
安装 regex-base-0.93.2 失败
构建日志（ /Users/dmitrizaitsev/.cabal/logs/regex-base-0.93.2.log ）：
/Users/dmitrizaitsev/.cabal/logs/regex-base-0.93.2.log：openFile：没有
存在（没有这样的文件或目录）

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

只是尝试安装idris（在 Mac OSX 10.8 上）：

$阴谋集团更新；阴谋集团安装伊德里斯
从 hackage.haskell.org 下载最新的包列表
阴谋集团：无法下载 http://hackage.haskell.org/00-index.tar.gz ：HTTP
代码 503
警告：“hackage.haskell.org”的包列表不存在。运行'阴谋集团
更新'以下载它。
cabal：没有名为“idris”的包。
您可能需要运行 'cabal update' 以获取最新的可用列表
包。

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

知道这里发生了什么吗？

标签： haskellinstallationcabalidris

解决方案

您可以使用以下命令通过 Stack 安装 Idris：

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

推荐阅读