diff --git a/solo5-elftool.opam b/solo5-elftool.opam index a36e000..74b52c8 100644 --- a/solo5-elftool.opam +++ b/solo5-elftool.opam @@ -20,6 +20,7 @@ depends: [ "cmdliner" {>= "1.1.0"} ] +available: arch != "arm32" & arch != "x86_32" conflicts: [ "result" {< "1.5"} ]