#----------------------------------------------------------------------------
# mpfr-dev-files.txt - list of all files of package 'mpfr-dev'
#
# Creation   : 2023-03-25  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root mpfr usr/include/mpf2mpfr.h
u 0644 root root mpfr usr/include/mpfr.h
s 0777 root root mpfr usr/lib/libmpfr.so
u 0644 root root mpfr usr/lib/pkgconfig/mpfr.pc
u 0644 root root mpfr usr/share/licenses/mpfr-devel/COPYING
u 0644 root root mpfr usr/share/licenses/mpfr-devel/COPYING.LESSER
#
f 0755 root root mpfr usr/share/licenses/mpfr-devel
f 0755 root root mpfr usr/share/licenses
f 0755 root root mpfr usr/share
f 0755 root root mpfr usr/lib/pkgconfig
f 0755 root root mpfr usr/lib
f 0755 root root mpfr usr/include
f 0755 root root mpfr usr