Add an opam-2.5 binary

MisterDA · MisterDA · commit 62c5b300d35b · 2025-12-03T13:22:01.000+01:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,7 @@
 unreleased
 ----------
 
+- Add opam-2.5 (@MisterDA, #246, #249)
 - Compare by versions within `Distro.compare` (@dra27, #247)
 
 v8.3.3 2025-10-18
diff --git a/src-opam/opam.ml b/src-opam/opam.ml
@@ -194,6 +194,7 @@ type opam_hashes = {
   opam_2_2_hash : string;
   opam_2_3_hash : string;
   opam_2_4_hash : string;
+  opam_2_5_hash : string;
   opam_master_hash : string;
 }
 
@@ -223,6 +224,7 @@ let create_opam_branches opam_hashes =
     opam_2_2_hash;
     opam_2_3_hash;
     opam_2_4_hash;
+    opam_2_5_hash;
     opam_master_hash;
   } =
     opam_hashes
@@ -270,6 +272,14 @@ let create_opam_branches opam_hashes =
         public_name = "opam-2.4";
         aliases = [];
       };
+      {
+        branch = "2.5";
+        hash = opam_2_5_hash;
+        enable_0install_solver = true;
+        with_vendored_deps = true;
+        public_name = "opam-2.5";
+        aliases = [];
+      };
       opam_master_branch opam_master_hash;
     ] )
 
diff --git a/src-opam/opam.mli b/src-opam/opam.mli
@@ -47,6 +47,7 @@ type opam_hashes = {
   opam_2_2_hash : string;
   opam_2_3_hash : string;
   opam_2_4_hash : string;
+  opam_2_5_hash : string;
   opam_master_hash : string;
 }
 
