#----------------------------------------------------------------------------
# libmpfr-dev-static-files.txt - list of all files of package 'libmpfr-dev-static'
#
# Creation   : 2017-12-29  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
b 0644 root root libmpfr usr/lib/libmpfr.a
#