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