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     11K
gprbuild-2020-gentoo.patch                                                                                               16-Jun-2020 20:39     11K