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