如何使用 Spago 安装特定的软件包版本?

2024-05-02

使用类似的工具npm我们可以安装特定版本

npm install [email protected] /cdn-cgi/l/email-protection 

如何使用安装特定版本spago install?


首先,这不是spago install做。而不是“将包添加到您的项目中”,spago install下载您当前引用的所有包spago.dhall file.

其次,Spago 的想法是您不选择特定的软件包版本。相反,您选择的是“快照”,它是保证编译和协同工作的所有可用包的某些版本的集合。这是一种旨在防止版本冲突和版本控制地狱的措施(这类似于如何Haskell stack https://docs.haskellstack.org/en/stable/README/ works)

快照是在您的packages.dhall文件,然后指定要在其中使用的特定包spago.dhall。每个包的版本都来自快照。

但如果你really需要安装一个非常特定版本的软件包,并且您really知道你在做什么,然后你可以修改快照本身,这在packages.dhall.

默认情况下你的packages.dhall文件可能看起来像这样:

let upstream =
      https://raw.githubusercontent.com/purescript/package-sets/psc-0.13.5-20200103/src/packages.dhall sha256:0a6051982fb4eedb72fbe5ca4282259719b7b9b525a4dda60367f98079132f30

let additions = {=}

let overrides = {=}

in  upstream // additions // overrides

这是运行后得到的默认模板spago new.

为了覆盖特定包的版本,请将其添加到overrides地图是这样的:

let overrides =
  { foo =
      upstream.foo // { version = "v1.2.0" }
  }

然后运行spago install。 Spago 应该引入版本1.2.0 of the foo为您打包。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

如何使用 Spago 安装特定的软件包版本? 的相关文章

  • 根据 ID 更新 React.js 中的特定组件实例

    在react js应用程序中 我想知道为每个组件提供一个ID的最佳实践是什么 该ID可用于根据需要仅更新该组件的信息 例如 如果我们有一个显示销售信息的组件 并且我们创建并显示其中 20 个组件 因为我们有 20 个产品 那么我们会每隔一段
  • 拆分 MS Access 数据库 - 前端部分位置

    最佳实践之一按照微软的规定 http msdn microsoft com en us library dd942824 aspx odc ac2007 ta PerformanceTipsToSpeedUpYourAccessDB Mul
  • jQuery 的 event.stopPropagation() 导致 Rails 出现问题:remote => true

    我创建了一些自定义 弹出窗口 最初使用 display none 样式 它们通过相邻的 popup trigger 链接进行切换 具有以下汇总功能 public javascripts application js jQuery docum
  • ClientDataset 索引更改时不计算 TAggregateField

    我正在使用连接到 DBGrid 的 TClientDataset 和几个聚合字段 用于计算其他几个浮点字段的总和 所有字段均已在设计时创建 一切都按预期工作 直到 ClientDataset 的 IndexName 使用自定义索引更改 以便
  • Wordpress 主题管理面板显示本地服务器中的致命错误

    我有一个 WordPress 项目 这里我们使用主题jupiter 当我在本地 XAMPP 服务器上设置它时 它的主题选项不起作用 这个问题出在我的电脑上 但在另一台电脑上却正常 My XAMPP是最新版本 它显示的错误 Fatal err
  • 如何在指令中插入 $compile 的 HTML 代码而不出现 $digest 递归错误?

    我有一个指令 根据ng repeat项目数据 来自数据库 使用 switch case 构建自定义 HTML app directive steps function compile return restrict A template h
  • 在 aws-elasticache 上使用 memcached 或 Redis

    我正在 AWS 上开发一个应用程序 并使用 AWS elasticache 进行缓存 我对使用 memcached 或 redis 感到困惑 我阅读了有关 redis 3 0 2 更新以及它现在如何等同于 memchached 的文章 ht
  • 有没有办法“source()”并在错误后继续?

    我有一个大型 R 脚本 其中包含 142 个小部分 如果某一部分因错误而失败 我希望脚本继续而不是停止 这些部分不一定相互依赖 但有些部分确实相互依赖 如果中间的一个失败了也没关系 我不想在这个脚本中加入try 来电 而且我不想将文件分成许
  • 确保在 ServerName 上启用默认 admin$ 共享

    运行 psexec 命令在同一网络上的服务器上远程安装或执行某些内容时 显示以下错误 无法访问服务器名称 找不到网络名称 确保在 ServerName 上启用默认 admin 共享 大多数参考文献建议您将以下内容添加到注册表中 但在我的例子
  • 当我启动程序时,Arduino IDE (Win10) 崩溃

    我的 Arduino IDE Win10 上的版本为 1 8 12 在启动时崩溃 运行arduino debug exe我收到此错误消息 C Program Files x86 Arduino gt arduino debug exe Se
  • CKEditor 4 构建(缩小和丑化)

    在我们的构建过程中 使用 grunt 我们将所有脚本连接 缩小和丑化为一个脚本 也意味着仅一个请求 现在 CKEditor 4 似乎正在使用模块样式加载方法 谁能告诉我如何将 CKEditor 4 包含到包含所有必需源的项目中 这样以后就不

随机推荐

  • 前台服务不持续运行

    在我的应用程序中 我使用必须不断运行的前台服务 有时前台服务会停止 在什么情况下操作系统会终止我的服务 即使有足够的内存 电池已充满 手机正在充电也会发生 到目前为止 我的代码是这样的 public class ServiceTest ex
  • 使用 Xcode 5 在装有 iOS 5.1.1 的设备中运行 iOS 应用程序

    我正在尝试在运行 iOS 5 1 1 的 iPad 上安装 iOS 应用程序 当我使用带有开发配置文件的 Xcode 启动它时 出现以下错误 Xcode 无法安装或启动支持 64 位的应用程序 运行 iOS 6 0 之前版本的设备上的架构
  • 如何动态调用动态对象的方法?

    当我想在 C 中的任何对象上动态调用静态定义的 静态 是指 在编译时确定 的意义上 而不是 类级成员 的意义上 方法时 我可以使用反射获取该方法的句柄并调用它 typeof Foo GetMethod Bar Invoke foo new
  • 线程与并行处理

    Microsoft NET 4 0 为其框架引入了新的 并行增强功能 我想知道使用标准 System Threading 函数与新的并行增强功能创建应用程序之间有什么区别 并行扩展和常规线程之间最重要的区别可能是控制流 一个线程 使用创建n
  • 如何避免使用全局变量?

    我使用全局变量 但我读到它们不是一个好的实践或Pythonic 我经常使用的函数会给出许多是 否变量 我需要在主函数中使用这些变量 例如 在不使用全局变量的情况下 如何编写以下代码 def secondary function global
  • 使用 Android NDK 使用 -fsigned-char 进行构建安全吗?

    为了与其他平台保持一致 我需要使用signed char在我正在处理的一些本机代码中 但默认情况下在Android NDK上char类型是unsigned 我尝试明确使用signed char类型 但它生成太多警告differ in sig
  • 如何从命令行向 Android 项目添加外部 jar 库

    我正在尝试构建一个具有一些依赖项的 Android 项目 jar 文件位于 lib 目录中 我可以通过将这些 jar 文件添加到我的类路径来构建项目 但当然它会在模拟器中强制关闭 因为这些库不存在 我正在使用 ant 从命令行执行此操作 n
  • 拆分数字 yyyymmdd 列

    我有一个包含 DATE 列的数据框 我将其引用为 NM DATA DATE 它是一个 yyyymmdd 形式的数字 我知道 有一百个线程 我尝试了所有能找到的解决方案 但它们对我不起作用 即将重新加载 RStudio NM DATA DAT
  • 神经网络的局部逆

    我有一个带有 N 个输入节点和 N 个输出节点的神经网络 可能还有多个隐藏层和循环 但让我们先忘记这些 神经网络的目标是学习一个N维变量Y 给定N维值X 假设神经网络的输出是Y 学习后应该接近Y 我的问题是 是否有可能得到输出 Y 的神经网
  • 使用罗马图书馆获取所有 RSS 提要条目

    我正在使用 Java 的 Rome 库来解析一些 RSS 默认情况下需要 25 个条目 请告诉我 如何获得接下来的 25 个条目 我的测试代码是 public static SyndFeed getSyndFeedForUrl String
  • Bootstrap 模态对话框,show.bs.modal 事件相关Target 未定义。我怎样才能获得被点击的元素?

    按钮调用模式对话框 单击按钮时 会触发事件 结果事件引用 e latedTarget 未定义 那么 如何从处理程序中获取调用按钮呢 e 似乎不包含任何对调用按钮的引用
  • Python:urlretrieve PDF下载

    我在 Python 中使用 urllib 的 urlretrieve 函数来尝试从网站上获取一些 pdf 它 至少对我来说 已停止工作并正在下载损坏的数据 15 KB 而不是 164 KB 我已经用几个 pdf 对此进行了测试 但都没有成功
  • 在 Objective C 中使用余弦定律计算两点之间的距离?

    我从 Google 地图获取一些 GPS 坐标 我需要找到它们之间的距离 使用 Objective C 我已经实现了该公式 但得到的结果太大了 我通过将 Google 地图的值传回 Google 地球和互联网上的地理编码服务来测试这些值 一
  • 创建数据库索引的最佳实践和“经验法则”有哪些?

    我有一个应用程序 它循环访问数据库表中的大量记录 并对该数据库中的记录执行大量 SQL 和 Net 操作 目前我在 PostgreSQL 上使用 Castle ActiveRecord 我在几个字段上添加了一些基本的 btree 索引 正如
  • 如何从给定经纬度矩形的谷歌地图中提取卫星图像?

    如何从给定经纬度矩形的谷歌地图中提取卫星图像 或者 形成边界框的两个 纬度 经度 点 在我看来 你的问题听起来像是你想提取 Google 地图上使用的原始卫星图块 这违反了使用条款 如果您坚持这样做 我很确定您会被禁止使用该服务 所以 不要
  • 原则:由数据库将 CURRENT_TIMESTAMP 设置为默认值(即不是由 PHP)

    环顾了一段时间后 我仍然找不到一种方法来获取数据库服务器插入的 CURRENT TIMESTAMP 作为默认值 INSERT 问题 当你将一个对象持久化到数据库时 Doctrine 会将缺失的字段显式设置为 NULL 所以看起来 在表定义中
  • 如何在 Perl 脚本中递归查找文件/文件夹?

    我有一个 perl 脚本 我编写了该脚本来递归地搜索 Windows 文件夹中的文件 我输入搜索文本作为 perl 脚本运行时参数 以查找名称中包含此文本的文件 perl脚本如下 use Cwd file1 ARGV 0 res1 glob
  • VideoJs 在 Firefox 中的 Flash 回退问题

    我尝试将 videoJs 添加到我的网站来播放 MP4 文件 所有这些在 Chrome 中都能完美运行 但当我转到 Firefox 不支持 MP4 文件 时 Flash 播放器停留在黑屏上 按钮不执行任何操作 简单的问题 为什么 我不明白
  • 是否可以在 django 模板中检查对象是否包含在列表中

    我对 django 很陌生 大约一周了 我正在制作一个网站 用户可以在其中输入内容 然后其他用户可以投票决定他们是否喜欢这些内容 我知道这并不是那么新颖 但这是一个学习一堆工具的好项目 我有一个多对多表来存储谁喜欢或不喜欢什么 在渲染页面之
  • 如何使用 Spago 安装特定的软件包版本?

    使用类似的工具npm我们可以安装特定版本 npm install email protected cdn cgi l email protection 如何使用安装特定版本spago install 首先 这不是spago install做