from-debian-gcc-alpha-ieee-doc.diff
from-debian-gcc-rename-info-files.diff
from-debian-gcc-gdc-4.8-doc.diff
fix-direntry.diff
gnat-cross-references.diff
