#----------------------------------------------------------------------------
# libmpfr-dev-files.txt - list of all files of package 'libmpfr-dev'
#
# Creation   : 2017-12-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root libmpfr usr/include/mpf2mpfr.h
u 0644 root root libmpfr usr/include/mpfr.h
s 0777 root root libmpfr usr/lib64/libmpfr.so
#