avoid_generating_gpl_exception.diff
licence_readme.diff
clean_properly.diff
no-gfdl.diff
build-flags.diff
usr-bin-gnatchop-856274.diff
update-gtk-gir.diff
