我尝试过
brew install gmp@4
但它解释了
No available formula with the name "gmp4"
我在macOS Catalina上安装了gmp6，但由于某些原因我需要gmp4，因此如何在macOS Catalina上安装gmp4？
Download gmp-4.3.2