From d3bdbe35559e612bc8546e9b3de65c70c1706c4b Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Fri, 11 Aug 2023 14:58:16 +1000 Subject: [PATCH] Minor formatting --- llama.opam | 1 + 1 file changed, 1 insertion(+) diff --git a/llama.opam b/llama.opam index 92a98e4..a6005b5 100644 --- a/llama.opam +++ b/llama.opam @@ -34,3 +34,4 @@ build: [ ] ] dev-repo: "git+https://github.com/gridbugs/llama.git" +available: arch != "arm32" & arch != "ppc64" & arch != "s390x" & arch != "x86_32"