From c0cefb39a16a0175e1f2250fceac36ef47279791 Mon Sep 17 00:00:00 2001 From: onox Date: Sun, 31 Jul 2022 10:56:24 +0200 Subject: [PATCH] libgmp external: add Arch package (#586) --- index/li/libgmp/libgmp-external.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/index/li/libgmp/libgmp-external.toml b/index/li/libgmp/libgmp-external.toml index 192eb447..14235fe2 100644 --- a/index/li/libgmp/libgmp-external.toml +++ b/index/li/libgmp/libgmp-external.toml @@ -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]]