Mark gsl unailable on arm32

hhugo · Nov 25, 2024 · 342365c · 342365c
1 parent 8e89443
commit 342365c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/gsl/gsl.1.25.1/opam b/packages/gsl/gsl.1.25.1/opam
@@ -37,6 +37,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/mmottl/gsl-ocaml.git"
+available: arch != "arm32"
 url {
   src:
     "https://github.com/mmottl/gsl-ocaml/releases/download/1.25.1/gsl-1.25.1.tbz"