Boa tarde!

Baixei uns dos servers e, ao tentar extraí-lo do winrar, ele me diz que a libgmp-3.dll está corrompida ou algo do tipo. Alguém sabe como eu posso arrumar ou prosseguir?

tente baixar do google: https://www.google.com.br/webhp?sourceid=chrome-instant&ion=1&espv=2&ie=UTF-8#q=libgmp-3.dll%20corrompido

tente baixar do google: https://www.google.com.br/webhp?sourceid=chrome-instant&ion=1&espv=2&ie=UTF-8#q=libgmp-3.dll%20corrompido

eu pensei nisso, mas não sei se é recomendável baixar uma dll de um lugar aleatório haha

Eu não diria aleatório, uma vez que tenha sites que disponibilizam essas dlls, não custa tentar.