#----------------------------------------------------------------------------
# gawk-mpfr-files.txt - list of all files of package 'gawk-mpfr'
#
# Author     : the eisfair team, team(at)eisfair(dot)org
# Creation   : 2023-10-08
#----------------------------------------------------------------------------
u 0644 root root gawk-mpfr var/install/packages/gawk-mpfr
b 0644 root root gawk-mpfr usr/lib/gawk/mpfr.so
#
f 0755 root root gawk-mpfr usr/lib/gawk
f 0755 root root gawk-mpfr usr/lib
f 0755 root root gawk-mpfr usr
f 0755 root root gawk-mpfr etc
f 0755 root root gawk-mpfr var/install/packages
f 0755 root root gawk-mpfr var/install
f 0755 root root gawk-mpfr var