Index of ftp://ftp.klid.dk/pub3/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-2018-gentoo.patch
10.94Kb
November 30 2018
gprbuild-2019-gentoo.patch
10.98Kb
June 2 2019
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
gprbuild-2017-config.patch gprbuild-2017-gentoo.patch gprbuild-2018-gentoo.patch gprbuild-2019-gentoo.patch