#----------------------------------------------------------------------------
# libisl23-files.txt - list of all files of package 'libisl23'
#
# Creation   : 2023-03-25  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
s 0777 root root isl usr/lib/libisl.so.23
b 0644 root root isl usr/lib/libisl.so.23.2.0
#
f 0755 root root isl usr/lib
f 0755 root root isl usr