Index of http://de.aminet.net/gentoo-portage/dev-ada/gprbuild/files
Parent Directory
gprbuild-2017-config.patch
5.60Kb
November 27 2018 at 00:09
gprbuild-2017-gentoo.patch
3.30Kb
December 20 2017 at 11:09
gprbuild-2020-gentoo.patch
11.41Kb
June 16 2020 at 23:39
gprbuild-2021-gentoo.patch
11.42Kb
May 31 2021 at 12:09
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
gprbuild-2017-config.patch gprbuild-2017-gentoo.patch gprbuild-2020-gentoo.patch gprbuild-2021-gentoo.patch