Devco1
usr / lib64 / 
Filename : libisl.so.13.1.0
back