this repo has no description

Mark gsl unailable on arm32

Changed files
+1
packages
gsl
gsl.1.25.1
+1
packages/gsl/gsl.1.25.1/opam
···
]
]
dev-repo: "git+https://github.com/mmottl/gsl-ocaml.git"
url {
src:
"https://github.com/mmottl/gsl-ocaml/releases/download/1.25.1/gsl-1.25.1.tbz"
···
]
]
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"