anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26217 from kit-ty-kate/warn-2.2-beta-users

Display a warning for opam 2.2 beta users

authored by

Marcello Seri and committed by
GitHub ccefad27 ca7f74d6

+2 -2
+2 -2
repo
··· 4 4 announce: [ 5 5 """ 6 6 [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) 7 - """ {(opam-version >= "2.1.0~~" & opam-version < "2.1.6") | opam-version < "2.0.10"} 7 + """ {(opam-version >= "2.1.0~~" & opam-version < "2.1.6") | opam-version < "2.0.10" | (opam-version >= "2.2.0~~" & opam-version < "2.2.0")} 8 8 """ 9 - [INFO] opam 2.1 includes many performance improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) 9 + [INFO] opam 2.1 and 2.2 include many performance improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) 10 10 """ {opam-version >= "2.0.10" & opam-version < "2.1.0~~"} 11 11 """ 12 12 [WARNING] please ensure to have GNU patch installed as `patch`. Otherwise update may fail silently (since it can't remove files).