#----------------------------------------------------------------------------
# libgmp-dev-files.txt - list of all files of package 'libgmp-dev'
#
# Creation   : 2007-05-03  scholze
# Last update: $Id$
#----------------------------------------------------------------------------
u 0755 root root libgmp-dev tmp/install.sh
u 0755 root root libgmp-dev tmp/preinstall.sh
u 0755 root root libgmp-dev var/install/deinstall/libgmp-dev
u 0755 root root libgmp-dev usr/share/doc/libgmp-dev/changes.txt
#
f 0755 root root libgmp-dev usr/share/doc/libgmp-dev