#----------------------------------------------------------------------------
# dejagnu-files.txt - list of all files of package 'dejagnu'
#
# Creation   : 2018-01-26  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
i 0755 root root dejagnu tmp/install.sh
i 0755 root root dejagnu tmp/preinstall.sh
i 0600 root root dejagnu var/install/deinstall/dejagnu
u 0644 root root dejagnu var/install/packages/dejagnu
#