Open vzaliva opened 1 month ago
Please note that Ubuntu-supplied OPAM version triggers warnings on opam update
:
default (at https://opam.ocaml.org):
[WARNING] opam is out-of-date. Please consider updating it
(https://opam.ocaml.org/doc/Install.html)
So, removing PPA from documentation will leave Ubuntu users unable to install the recent Opam version via the package manager.
The binary distribution section offers a way to always install the most up-to-date version of opam: https://opam.ocaml.org/doc/Install.html#Binary-distribution
If your distribution is out-of-date it would also be advised to ping your maintainers so they can remedy this (cc @mehdid)
I've emailed the maintainer and awaiting his response.
I am following Ubuntu installation instructions from https://opam.ocaml.org/doc/Install.html
sudo add-apt-repository ppa:avsm/ppa
gives the following errors: