#----------------------------------------------------------------------------
# libgmpxx4-files.txt - list of all files of package 'libgmpxx4'
#
# Creation   : 2025-03-11  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
s 0777 root root gmp usr/lib/libgmpxx.so.4
b 0644 root root gmp usr/lib/libgmpxx.so.4.7.0
#
f 0755 root root gmp usr/lib
f 0755 root root gmp usr