Index of /gentoo-portage/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