From 6153961d809e2e75e09d5152b974893d70f19520 Mon Sep 17 00:00:00 2001
From: Simon Wright <simon@pushface.org>
Date: Wed, 26 Apr 2023 09:28:50 +0100
Subject: [PATCH] libgmp external for Homebrew (#770)

* index/li/libgmp/libgmp-external.toml (external): for package manager
    homebrew, fetch 'gmp'.
---
 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 3b6bd5cb..8d16e595 100644
--- a/index/li/libgmp/libgmp-external.toml
+++ b/index/li/libgmp/libgmp-external.toml
@@ -10,6 +10,7 @@ kind = "system"
 "debian|ubuntu" = ["libgmp-dev"]
 arch = ["gmp"]
 msys2 = ["mingw-w64-x86_64-gmp"]
+homebrew = ["gmp"]
 
 [[external]]
 kind = "version-output"