From d9168d4702a8dbd2b7ca702583740992a4cf367d Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Tue, 27 Aug 2024 09:40:56 +0200 Subject: [PATCH] Improve INFO and WARNING for the opam version Suggested by @dra27 on https://github.com/ocaml/opam-repository/pull/26393 Signed-off-by: Marcello Seri --- repo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repo b/repo index 4d98603e60d..db9cb59f06f 100644 --- a/repo +++ b/repo @@ -3,10 +3,10 @@ browse: "https://opam.ocaml.org/pkg/" upstream: "https://github.com/ocaml/opam-repository/tree/master/" announce: [ """ -[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) +[WARNING] opam %{opam-version}% is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html) """ {(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")} """ -[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) +[INFO] opam 2.1 and 2.2 include many performance and security improvements over %{opam-version}%; please consider upgrading (https://opam.ocaml.org/doc/Install.html) """ {opam-version >= "2.0.10" & opam-version < "2.1.0~~"} """ [WARNING] please ensure to have GNU patch installed as `patch`. Otherwise update may fail silently (since it can't remove files).