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

../
gprbuild-22.0.0-gentoo.patch                       30-Mar-2026 04:05                2052
gprbuild-25.0.0-gcc16.patch                        30-Mar-2026 04:05                 467