Index of /gentoo-portage-snapshots/2021-06-01-0015/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-2020-gentoo.patch                         16-Jun-2020 20:39               11688
gprbuild-2021-gentoo.patch                         31-May-2021 09:09               11690