Esta é uma versão antiga do gmp, chamada gmp4-static. Ela fornece a biblioteca libgmp4.a.
