Index of /dev-ada/gnatcoll-core/files/


../
gnatcoll-core-2018-gentoo.patch                    20-Nov-2018 18:09                 555
gnatcoll-core-24.0.0-gentoo.patch                  01-Mar-2024 20:10                 607