#----------------------------------------------------------------------------
# gmp-dev-files.txt - list of all files of package 'gmp-dev'
#
# Creation   : 2023-03-25  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/lib/libgmp.so
s 0777 root root gmp usr/lib/libgmpxx.so
u 0644 root root gmp usr/lib/pkgconfig/gmp.pc
u 0644 root root gmp usr/lib/pkgconfig/gmpxx.pc
#
f 0755 root root gmp usr/lib/pkgconfig
f 0755 root root gmp usr/lib
f 0755 root root gmp usr/include
f 0755 root root gmp usr