Index of /gentoo-portage/dev-ada/gprbuild/files
Name
Last modified
Size
Description
Parent Directory
-
gprbuild-22.0.0-gentoo.patch
2021-11-13 10:39
11K
gprbuild-2021-gentoo.patch
2021-05-31 12:09
11K