Documentation: remove the ppa from the installation instructions on U…

…buntu
ocaml · Jun 4, 2024 · 8b0fa2a · 8b0fa2a
1 parent 21305bb
commit 8b0fa2a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/doc/pages/Install.md b/doc/pages/Install.md
@@ -182,10 +182,7 @@ for Opam usage.
 [![badge](https://repology.org/badge/version-for-repo/ubuntu_22_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
 ```
 

diff --git 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
-Original file line number
+Diff line change
@@ Expand Up / @@ -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
@@ Expand Down @@