#----------------------------------------------------------------------------
# php7-gmp-files.txt - list of all files of package 'php7-gmp'
#
# Creation   : 2018-12-02  schlotze
# Last update: $Id$
#----------------------------------------------------------------------------
b 0644 root root php7-gmp usr/lib/php7/extensions/gmp.so
u 0644 root root php7-gmp var/install/packages/php7-gmp
#
f 0755 root root php7-gmp usr/lib/php7/extensions
f 0755 root root php7-gmp usr/lib/php7