#----------------------------------------------------------------------------
# libmpfr4-files.txt - list of all files of package 'libmpfr4'
#
# Creation   : 2017-12-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
s 0777 root root mpfr usr/lib/libmpfr.so.4
b 0644 root root mpfr usr/lib/libmpfr.so.4.1.2
#