From 4c8487513b3225686bc362896f4891a675cffc3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= <code@bnwr.net>
Date: Wed, 4 Oct 2023 15:42:06 +0200
Subject: [PATCH 1/2] add missing dependencies to ocaml in dkml-install-runner
 packages

---
 packages/dkml-install-runner/dkml-install-runner.0.1.0/opam | 1 +
 packages/dkml-install-runner/dkml-install-runner.0.2.0/opam | 1 +
 packages/dkml-install-runner/dkml-install-runner.0.3.0/opam | 1 +
 packages/dkml-install-runner/dkml-install-runner.0.3.1/opam | 1 +
 packages/dkml-install-runner/dkml-install-runner.0.4.0/opam | 3 ++-
 packages/dkml-install-runner/dkml-install-runner.0.5.1/opam | 3 ++-
 6 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam
index 3387b7851db9..5f3ec71bb555 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam
@@ -8,6 +8,7 @@ license: "Apache-2.0"
 homepage: "https://github.com/diskuv/dkml-install-api"
 bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 depends: [
+  "ocaml" {>= "4.09"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam
index 593736d44637..991d97c4ace2 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam
@@ -13,6 +13,7 @@ bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 #   https://github.com/diskuv/dkml-install-api/blob/5cfd7b57c79d990c76a9bdc8f8f0fa9f6fd5346f/runner/src/ocaml_abi.ml
 available: os = "win32" | os = "linux" | os = "macos"
 depends: [
+  "ocaml" {>= "4.09"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam
index 587687ccf329..b04d8beac5b3 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam
@@ -13,6 +13,7 @@ bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 #   https://github.com/diskuv/dkml-install-api/blob/5cfd7b57c79d990c76a9bdc8f8f0fa9f6fd5346f/runner/src/ocaml_abi.ml
 available: os = "win32" | os = "linux" | os = "macos"
 depends: [
+  "ocaml" {>= "4.09"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam b/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam
index e9bc5dc1a95e..98706f154bdc 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam
@@ -13,6 +13,7 @@ bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 #   https://github.com/diskuv/dkml-install-api/blob/5cfd7b57c79d990c76a9bdc8f8f0fa9f6fd5346f/runner/src/ocaml_abi.ml
 available: os = "win32" | os = "linux" | os = "macos"
 depends: [
+  "ocaml" {>= "4.10"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.4.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.4.0/opam
index 77ad24212363..97f1b19a83cc 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.4.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.4.0/opam
@@ -8,6 +8,7 @@ license: "Apache-2.0"
 homepage: "https://github.com/diskuv/dkml-install-api"
 bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 depends: [
+  "ocaml" {>= "4.10"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
@@ -45,4 +46,4 @@ url {
     "md5=1b3f42a06b0643eb502e6f65d1769b98"
     "sha512=55d47cb8c570f3e9fbdb5f4f7960c86fbe357df6c5364c82c9eb326150693fa1dbffe3fa3f5682e355f770c5f3c53bd7ce88ec1d1d9eefecceb8f44ed8b1d326"
   ]
-}
\ No newline at end of file
+}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.5.1/opam b/packages/dkml-install-runner/dkml-install-runner.0.5.1/opam
index 5ddd33c78547..4a409560ee33 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.5.1/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.5.1/opam
@@ -8,6 +8,7 @@ license: "Apache-2.0"
 homepage: "https://github.com/diskuv/dkml-install-api"
 bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 depends: [
+  "ocaml" {>= "4.10"}
   "dune" {>= "2.9"}
   "alcotest" {>= "1.4.0" & with-test}
   "dkml-install" {= version}
@@ -45,4 +46,4 @@ url {
     "md5=4636532b5971d7aa058b492448b02908"
     "sha512=66e28e6c47b3de638601f0002289849d9af6bcbb9a2eb816d1dfe640bf3e5a350ad16b99d88b474b7be2482de480b5dd1fad4dbf87c702ee421bc033a3ca1327"
   ]
-}
\ No newline at end of file
+}

From bfff637f261f12abc0f053dde99b24e33c9f3929 Mon Sep 17 00:00:00 2001
From: Marcello Seri <mseri@users.noreply.github.com>
Date: Fri, 6 Oct 2023 18:28:52 +0200
Subject: [PATCH 2/2] Apply suggestions from code review

---
 packages/dkml-install-runner/dkml-install-runner.0.1.0/opam | 2 +-
 packages/dkml-install-runner/dkml-install-runner.0.2.0/opam | 2 +-
 packages/dkml-install-runner/dkml-install-runner.0.3.0/opam | 2 +-
 packages/dkml-install-runner/dkml-install-runner.0.3.1/opam | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam
index 5f3ec71bb555..61888d124eeb 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.1.0/opam
@@ -8,7 +8,7 @@ license: "Apache-2.0"
 homepage: "https://github.com/diskuv/dkml-install-api"
 bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 depends: [
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.09" & < "5.1"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam
index 991d97c4ace2..2f3fb3f65ce2 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.2.0/opam
@@ -13,7 +13,7 @@ bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 #   https://github.com/diskuv/dkml-install-api/blob/5cfd7b57c79d990c76a9bdc8f8f0fa9f6fd5346f/runner/src/ocaml_abi.ml
 available: os = "win32" | os = "linux" | os = "macos"
 depends: [
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.09" & < "5.1"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam b/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam
index b04d8beac5b3..aefc9a216c8a 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.3.0/opam
@@ -13,7 +13,7 @@ bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 #   https://github.com/diskuv/dkml-install-api/blob/5cfd7b57c79d990c76a9bdc8f8f0fa9f6fd5346f/runner/src/ocaml_abi.ml
 available: os = "win32" | os = "linux" | os = "macos"
 depends: [
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.09" & < "5.1"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}
diff --git a/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam b/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam
index 98706f154bdc..cbfb4bd21a1a 100644
--- a/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam
+++ b/packages/dkml-install-runner/dkml-install-runner.0.3.1/opam
@@ -13,7 +13,7 @@ bug-reports: "https://github.com/diskuv/dkml-install-api/issues"
 #   https://github.com/diskuv/dkml-install-api/blob/5cfd7b57c79d990c76a9bdc8f8f0fa9f6fd5346f/runner/src/ocaml_abi.ml
 available: os = "win32" | os = "linux" | os = "macos"
 depends: [
-  "ocaml" {>= "4.10"}
+  "ocaml" {>= "4.10" & < "5.1"}
   "alcotest" {>= "1.4.0" & with-test}
   "odoc" {>= "1.5.3" & with-doc}
   "dkml-install" {= version}