python2.diff
gprinstall-no-artifacts.diff
cxxflags.diff
gnatcoll_not_core.diff
