Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

Index of /gentoo-portage/dev-ada/gprbuild/files/

Index of /gentoo-portage/dev-ada/gprbuild/files/


../
gprbuild-2021-gentoo.patch                         31-May-2021 09:09     11K
gprbuild-2021-nm.patch                             23-Dec-2021 08:09     438
gprbuild-2021-runpath.patch                        19-Mar-2022 22:40     303
gprbuild-22.0.0-ar.patch                           23-Dec-2021 08:09     468
gprbuild-22.0.0-gentoo.patch                       24-Nov-2022 20:40    2052