From f7a5243e7ee804b38f936d619c68e2896e802c67 Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Wed, 10 Jul 2024 15:26:55 +0530 Subject: [PATCH] Mark incompatibility with Debian 12 on x86_32 --- opam-repo-ci-api.opam | 2 ++ opam-repo-ci-api.opam.template | 2 ++ opam-repo-ci-client.opam | 2 ++ opam-repo-ci-client.opam.template | 2 ++ opam-repo-ci-service.opam | 2 ++ opam-repo-ci-service.opam.template | 2 ++ opam-repo-ci-web.opam | 2 ++ opam-repo-ci-web.opam.template | 2 ++ 8 files changed, 16 insertions(+) create mode 100644 opam-repo-ci-api.opam.template create mode 100644 opam-repo-ci-client.opam.template create mode 100644 opam-repo-ci-service.opam.template create mode 100644 opam-repo-ci-web.opam.template diff --git a/opam-repo-ci-api.opam b/opam-repo-ci-api.opam index 9cc6a9be..da9b2bc6 100644 --- a/opam-repo-ci-api.opam +++ b/opam-repo-ci-api.opam @@ -36,3 +36,5 @@ build: [ ] ] dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git" +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-api.opam.template b/opam-repo-ci-api.opam.template new file mode 100644 index 00000000..c664ab3f --- /dev/null +++ b/opam-repo-ci-api.opam.template @@ -0,0 +1,2 @@ +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-client.opam b/opam-repo-ci-client.opam index f2083876..d4950888 100644 --- a/opam-repo-ci-client.opam +++ b/opam-repo-ci-client.opam @@ -38,3 +38,5 @@ build: [ ] ] dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git" +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-client.opam.template b/opam-repo-ci-client.opam.template new file mode 100644 index 00000000..c664ab3f --- /dev/null +++ b/opam-repo-ci-client.opam.template @@ -0,0 +1,2 @@ +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-service.opam b/opam-repo-ci-service.opam index 001ebdb6..71688164 100644 --- a/opam-repo-ci-service.opam +++ b/opam-repo-ci-service.opam @@ -64,3 +64,5 @@ build: [ ] ] dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git" +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-service.opam.template b/opam-repo-ci-service.opam.template new file mode 100644 index 00000000..c664ab3f --- /dev/null +++ b/opam-repo-ci-service.opam.template @@ -0,0 +1,2 @@ +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-web.opam b/opam-repo-ci-web.opam index c1ea5741..93b0c221 100644 --- a/opam-repo-ci-web.opam +++ b/opam-repo-ci-web.opam @@ -55,3 +55,5 @@ build: [ ] ] dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git" +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32") diff --git a/opam-repo-ci-web.opam.template b/opam-repo-ci-web.opam.template new file mode 100644 index 00000000..c664ab3f --- /dev/null +++ b/opam-repo-ci-web.opam.template @@ -0,0 +1,2 @@ +# See https://github.com/ocurrent/ocaml-ci/issues/931 +available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")