this repo has no description
Merge pull request #26888 from kit-ty-kate/opam-2.3.0-repo
Display a warning when using one of the pre-releases of opam 2.3.0
authored by
Marcello Seri
and committed by
GitHub
9b17d955
01aa7e5f
+4
-1
+4
-1
repo
+4
-1
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" | (opam-version >= "2.2.0~~" & opam-version < "2.2.1")}
7
+
""" { opam-version < "2.0.10" |
8
+
(opam-version >= "2.1.0~~" & opam-version < "2.1.6") |
9
+
(opam-version >= "2.2.0~~" & opam-version < "2.2.1") |
10
+
(opam-version >= "2.3.0~~" & opam-version < "2.3.0") }
8
11
"""
9
12
[INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
10
13
""" {opam-version >= "2.0.10" & opam-version < "2.1.0~~"}