#----------------------------------------------------------------------------
# cloog-isl-dev-files.txt - list of all files of package 'cloog-isl-dev'
#
# Creation   : 2017-03-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
i 0755 root root cloog-isl tmp/install.sh
i 0755 root root cloog-isl tmp/preinstall.sh
i 0600 root root cloog-isl var/install/deinstall/cloog-isl-dev
u 0644 root root cloog-isl var/install/packages/cloog-isl-dev
#