libgmp external: add Arch package (#586)

2022-07-31 10:56:24 +02:00
parent 8322df8d70
commit c0cefb39a1
1 changed files with 1 additions and 0 deletions
@@ -8,6 +8,7 @@ maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
 kind = "system"
 [external.origin."case(distribution)"]
 "debian|ubuntu" = ["libgmp-dev"]
+arch = ["gmp"]
 msys2 = ["mingw-w64-x86_64-gmp"]

 [[external]]