Linux puskom-ProLiant-DL385-Gen10 5.4.0-150-generic #167~18.04.1-Ubuntu SMP Wed May 24 00:51:42 UTC 2023 x86_64

/var/lib/dpkg/info/libisl19:amd64.list

 /.
/usr
/usr/lib
/usr/lib/x86_64-linux-gnu
/usr/lib/x86_64-linux-gnu/libisl.so.19.0.0
/usr/share
/usr/share/doc
/usr/share/doc/libisl19
/usr/share/doc/libisl19/changelog.Debian.gz
/usr/share/doc/libisl19/copyright
/usr/share/gdb
/usr/share/gdb/auto-load
/usr/share/gdb/auto-load/usr
/usr/share/gdb/auto-load/usr/lib
/usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu
/usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu/libisl.so.19.0.0-gdb.py
/usr/lib/x86_64-linux-gnu/libisl.so.19