Index of ftp://ftp.klid.dk/pub3/gentoo-portage/dev-ada/gnatcoll/files
Parent Directory
gnatcoll-2017-gentoo.patch
7.66Kb
November 18 2018
gnatcoll-2017-r1-gentoo.patch
7.04Kb
September 14 2019 at 17:39
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
gnatcoll-2017-gentoo.patch gnatcoll-2017-r1-gentoo.patch