#----------------------------------------------------------------------------
# gmp-dev-files.txt - list of all files of package 'gmp-dev'
#
# Creation   : 2025-03-11  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root gmp usr/include/gmp.h
u 0644 root root gmp usr/include/gmpxx.h
s 0777 root root gmp usr/lib64/libgmp.so
s 0777 root root gmp usr/lib64/libgmpxx.so
u 0644 root root gmp usr/lib64/pkgconfig/gmp.pc
u 0644 root root gmp usr/lib64/pkgconfig/gmpxx.pc
#
f 0755 root root gmp usr/lib64/pkgconfig
f 0755 root root gmp usr/lib64
f 0755 root root gmp usr/include
f 0755 root root gmp usr