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


../
gprbuild-2020-gentoo.patch                                                                                               16-Jun-2020 20:39     11K
gprbuild-2021-gentoo.patch                                                                                               31-May-2021 09:09     11K