Index of /gentoo-portage-snapshots/2019-11-15-0015/dev-ada/gnatcoll/files/

../
gnatcoll-2017-gentoo.patch                         18-Nov-2018 10:39                7843
gnatcoll-2017-r1-gentoo.patch                      14-Sep-2019 17:39                7206