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