#----------------------------------------------------------------------------
# cloog-isl-files.txt - list of all files of package 'cloog-isl'
#
# Creation   : 2017-03-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
b 0755 root root cloog-isl usr/bin/cloog
#