Merge pull request #5988 from kit-ty-kate/doc-install-no-ppa

Documentation: remove the ppa from the installation instructions on Ubuntu

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!

master_changes.md

@@ -124,6 +124,7 @@ users)
 ## Github Actions
 
 ## Doc
+  * Remove the ppa from the installation instructions on Ubuntu [#5988 @kit-ty-kate - fix #5987]
 
 ## Security fixes