: usr / lib64 / 

Filename : libgmp.so.10
back