File list of package libisl23 in trixie of architecture riscv64

/usr/lib/riscv64-linux-gnu/libisl.so.23
/usr/lib/riscv64-linux-gnu/libisl.so.23.4.0
/usr/share/doc/libisl23/changelog.Debian.gz
/usr/share/doc/libisl23/changelog.gz
/usr/share/doc/libisl23/copyright
/usr/share/gdb/auto-load/usr/lib/riscv64-linux-gnu/libisl.so.23.4.0-gdb.py