Index of /gentoo/dev-ada/gprbuild/

../
files/                                             31-Mar-2025 20:41                   -
Manifest                                           20-Mar-2025 12:38                2458
gprbuild-24.0.0-r4.ebuild                          20-Mar-2025 12:38                2098
gprbuild-25.0.0-r4.ebuild                          20-Mar-2025 12:38                2296
metadata.xml                                       20-Mar-2025 12:38                 888