#----------------------------------------------------------------------------
# libgmp3-files.txt - list of all files of package 'libgmp3'
#
# Creation   : 2017-12-03  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
s 0777 root root libgmp usr/lib/libgmp.so.3
b 0644 root root libgmp usr/lib/libgmp.so.3.4.2
#