Merge pull request #28961 from kit-ty-kate/update-repo-opam-2.5.0

Update the repo file's announcement following the release of opam 2.5.0

Author: mseri

repo

@@ -8,7 +8,8 @@ announce: [
       (opam-version >= "2.1.0~~" & opam-version < "2.1.6") |
       (opam-version >= "2.2.0~~" & opam-version < "2.2.1") |
       (opam-version >= "2.3.0~~" & opam-version < "2.3.0") |
-      (opam-version >= "2.4.0~~" & opam-version < "2.4.1") }
+      (opam-version >= "2.4.0~~" & opam-version < "2.4.1") |
+      (opam-version >= "2.5.0~~" & opam-version < "2.5.0") }
 """
 [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)
 """ {opam-version >= "2.0.10" & opam-version < "2.1.0~~"}