From c53d33244d61095e2b509b7fd3aa74f3dbb14705 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Mon, 1 Sep 2025 18:04:51 +0200
Subject: [PATCH] Add Arch support for conf-gmp

---
 packages/conf-gmp/conf-gmp.5/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/conf-gmp/conf-gmp.5/opam b/packages/conf-gmp/conf-gmp.5/opam
index af2a35b7a0e3..24e361425ef9 100644
--- a/packages/conf-gmp/conf-gmp.5/opam
+++ b/packages/conf-gmp/conf-gmp.5/opam
@@ -31,6 +31,7 @@ depexts: [
   ["gmp" "gmp-devel"] {os-distribution = "ol"}
   ["gmp"] {os = "openbsd"}
   ["gmp"] {os = "freebsd"}
+  ["gmp"] {os-distribution = "arch"}
   ["gmp-dev"] {os-distribution = "alpine"}
   ["gmp-devel"] {os-family = "suse" | os-family = "opensuse"}
   ["gmp"] {os = "win32" & os-distribution = "cygwinports"}