Index of ftp://gentoo.inode.at/gentoo-portage/dev-ada/gprbuild/files
Parent Directory
gprbuild-2017-config.patch
5.60Kb
November 26 2018
gprbuild-2017-gentoo.patch
3.30Kb
December 20 2017
gprbuild-2019-gentoo.patch
10.98Kb
June 2 2019
gprbuild-2020-gentoo.patch
11.41Kb
June 16 2020 at 20:39
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
gprbuild-2017-config.patch gprbuild-2017-gentoo.patch gprbuild-2019-gentoo.patch gprbuild-2020-gentoo.patch