From 8feb54d5f806d1287eeed656874c9a9f9079af92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Fri, 31 Jan 2025 17:28:01 +0100
Subject: [PATCH] Mark as unavailable on 32 bit platforms

---
 solo5-elftool.opam | 1 +
 1 file changed, 1 insertion(+)

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"}
 ]