Index of ftp://bo.mirror.garr.it/1/gentoo-portage/dev-ada/gnatcoll/files

[DIR] Parent Directory

[ ] gnatcoll-2016-gentoo.patch  13.81Kb  March 8 2020
[ ] gnatcoll-2017-gentoo.patch  10.33Kb  November 25 2017