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")