#----------------------------------------------------------------------------
# libcloog-isl4-files.txt - list of all files of package 'libcloog-isl4'
#
# Creation   : 2017-03-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
s 0777 root root cloog-isl usr/lib/libcloog-isl.so.4
b 0644 root root cloog-isl usr/lib/libcloog-isl.so.4.0.0
#