#----------------------------------------------------------------------------
# libgmp10-files.txt - list of all files of package 'libgmp10'
#
# Creation   : 2017-12-16  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root gmp var/install/packages/libgmp10
#