Devco1
lib64 / 
Filename : libisl.so.15.1.1
back