Filelist of package libghc6-agda-dev in wheezy of architecture all

/usr/share/doc/libghc6-agda-dev/changelog.gz
/usr/share/doc/libghc6-agda-dev/copyright