Minor formatting

gridbugs · Aug 11, 2023 · d3bdbe3 · d3bdbe3
1 parent c3d0918
commit d3bdbe3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"