Devco1
lib64 / 
Filename : libgmp.so.10.3.2
back