AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / ubuntu / 问题 / 1080715
Accepted
tinlyx
tinlyx
Asked: 2018-10-04 15:02:05 +0800 CST2018-10-04 15:02:05 +0800 CST 2018-10-04 15:02:05 +0800 CST

Ubuntu上的opam 2.0?

  • 772

opam 2.0已经发布了一段时间。我想知道是否有任何存储库可以在 Ubuntu(截至 2018 年 10 月的 18.04 LTS)上安装它。

我在bing.com上搜索并找不到任何提及。OPAM网站本身说当前支持的版本是 1.2.2,但列在“其他”类别下,

分发最新的 OPAM 维护者说明

Ubuntu Linux (PPA) 2.0.0 Anil Madhavapeddy (@avsm) Anil 的官方 OPAM PPA Travis 和讨论帖

但是其中的链接网站没有显示最近的活动(最后一次是 151 周前)。尝试sudo add-apt-repository ppa:avsm/ppa还会在下面给出错误。

有谁知道如何正确使用存储库?

$ sudo add-apt-repository ppa:avsm/ppa
 Latest stable versions of OCaml and OPAM.
 More info: https://launchpad.net/~avsm/+archive/ubuntu/ppa
Press [ENTER] to continue or Ctrl-c to cancel adding it.

...

Err:12 http://ppa.launchpad.net/avsm/ppa/ubuntu bionic Release                 
  404  Not Found [IP: 91.189.95.83 80]
Reading package lists... Done
E: The repository 'http://ppa.launchpad.net/avsm/ppa/ubuntu bionic Release' does not have a Release file.
N: Updating from such a repository can't be done securely, and is therefore disabled by default.
N: See apt-secure(8) manpage for repository creation and user configuration details.
software-installation package-management ppa apt
  • 1 1 个回答
  • 3423 Views

1 个回答

  • Voted
  1. Best Answer
    tinlyx
    2019-01-28T01:03:51+08:002019-01-28T01:03:51+08:00

    根据文档,avsm截至 2019 年 1 月,ppa 现在包含 opam (2.x) 的当前稳定版本:

    sudo add-apt-repository ppa:avsm/ppa
    sudo apt update
    sudo apt install opam
    
    • 4

相关问题

  • 包管理器之间有什么区别?

  • 设置 LAMP 堆栈的最简单方法是什么?

  • 我应该在哪里安装 sagemath?

  • How do I install Adobe Flash player?对于 11.10 及更高版本明确修复 11.10 上的 64 位 Flash

  • 如何设置软件中心为非 root 用户安装软件?

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    如何运行 .sh 脚本?

    • 16 个回答
  • Marko Smith

    如何安装 .tar.gz(或 .tar.bz2)文件?

    • 14 个回答
  • Marko Smith

    如何列出所有已安装的软件包

    • 24 个回答
  • Marko Smith

    无法锁定管理目录 (/var/lib/dpkg/) 是另一个进程在使用它吗?

    • 25 个回答
  • Martin Hope
    Flimm 如何在没有 sudo 的情况下使用 docker? 2014-06-07 00:17:43 +0800 CST
  • Martin Hope
    Ivan 如何列出所有已安装的软件包 2010-12-17 18:08:49 +0800 CST
  • Martin Hope
    La Ode Adam Saputra 无法锁定管理目录 (/var/lib/dpkg/) 是另一个进程在使用它吗? 2010-11-30 18:12:48 +0800 CST
  • Martin Hope
    David Barry 如何从命令行确定目录(文件夹)的总大小? 2010-08-06 10:20:23 +0800 CST
  • Martin Hope
    jfoucher “以下软件包已被保留:”为什么以及如何解决? 2010-08-01 13:59:22 +0800 CST
  • Martin Hope
    David Ashford 如何删除 PPA? 2010-07-30 01:09:42 +0800 CST

热门标签

10.10 10.04 gnome networking server command-line package-management software-recommendation sound xorg

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve