#----------------------------------------------------------------------------
# mpfr-dev-files.txt - list of all files of package 'mpfr-dev'
#
# Creation   : 2017-12-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
i 0755 root root mpfr tmp/install.sh
i 0755 root root mpfr tmp/preinstall.sh
i 0600 root root mpfr var/install/deinstall/mpfr-dev
u 0644 root root mpfr var/install/packages/mpfr-dev
#