From e1f1b1d162346092114b8472ab1d1c8923165b9d Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 4 Jun 2024 18:24:10 +0100 Subject: [PATCH] Documentation: remove the ppa from the installation instructions on Ubuntu --- doc/pages/Install.md | 9 +-------- master_changes.md | 1 + 2 files changed, 2 insertions(+), 8 deletions(-) diff --git a/doc/pages/Install.md b/doc/pages/Install.md index e58d85b24c5..d758b81d52d 100644 --- a/doc/pages/Install.md +++ b/doc/pages/Install.md @@ -179,19 +179,12 @@ for Opam usage. #### Ubuntu -[![badge](https://repology.org/badge/version-for-repo/ubuntu_22_04/opam.svg)](https://repology.org/project/opam/versions) +[![badge](https://repology.org/badge/version-for-repo/ubuntu_24_04/opam.svg)](https://repology.org/project/opam/versions) -##### Versions 18.04 and newer -There is a [ppa](https://launchpad.net/~avsm/+archive/ubuntu/ppa) available that contains the current stable version of `opam`. ``` -add-apt-repository ppa:avsm/ppa -apt update apt install opam ``` -##### Versions older than 18.04 -Use the binary distribution. Instructions provided at https://opam.ocaml.org/doc/Install.html#Binary-distribution - #### Windows Full support for Windows is planned for opam 2.2, and we expect to provide an opam package in [Chocolatey](https://chocolatey.org/) and [winget](https://docs.microsoft.com/en-us/windows/package-manager/). If you'd like to help out, please get in touch! diff --git a/master_changes.md b/master_changes.md index 2684640ed0e..f639b795e08 100644 --- a/master_changes.md +++ b/master_changes.md @@ -145,6 +145,7 @@ users) ## Github Actions ## Doc + * Remove the ppa from the installation instructions on Ubuntu [#5988 @kit-ty-kate - fix #5987] ## Security fixes