Index of /gentoo-portage/dev-ada/gprbuild/files/


../
gprbuild-2017-config.patch                         26-Nov-2018 21:09                5738
gprbuild-2017-gentoo.patch                         20-Dec-2017 08:09                3381
gprbuild-2019-gentoo.patch                         02-Jun-2019 17:09               11240
gprbuild-2020-gentoo.patch                         16-Jun-2020 20:39               11688