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/

Index of /gentoo-portage/dev-ada/


../
AdaSAT/                                            12-Feb-2025 08:41       -
VSS/                                               12-Feb-2025 08:41       -
ada_language_server/                               12-Feb-2025 08:41       -
ada_libfswatch/                                    12-Feb-2025 08:41       -
aunit/                                             12-Feb-2025 08:41       -
aws/                                               12-Feb-2025 08:41       -
e3-core/                                           12-Feb-2025 08:41       -
e3-testsuite/                                      12-Feb-2025 08:41       -
gnatcoll-bindings/                                 12-Feb-2025 08:41       -
gnatcoll-core/                                     12-Feb-2025 08:41       -
gnatcoll-db/                                       12-Feb-2025 08:41       -
gnatdoc/                                           12-Feb-2025 08:41       -
gnatmem/                                           12-Feb-2025 08:41       -
gnatsymbolize/                                     12-Feb-2025 08:41       -
gpr/                                               12-Feb-2025 08:41       -
gpr-unit-provider/                                 12-Feb-2025 08:41       -
gprbuild/                                          12-Feb-2025 08:41       -
gprconfig_kb/                                      12-Feb-2025 08:41       -
gtkada/                                            12-Feb-2025 08:41       -
lal-refactor/                                      12-Feb-2025 08:41       -
langkit/                                           12-Feb-2025 08:41       -
langkit-contrib/                                   12-Feb-2025 08:41       -
libadalang/                                        12-Feb-2025 08:41       -
libadalang-tools/                                  12-Feb-2025 08:41       -
libgpr/                                            12-Feb-2025 08:41       -
markdown/                                          12-Feb-2025 08:41       -
prettier-ada/                                      12-Feb-2025 08:41       -
spawn/                                             12-Feb-2025 08:41       -
templates-parser/                                  12-Feb-2025 08:41       -
xmlada/                                            12-Feb-2025 08:41       -
Manifest.gz                                        11-Feb-2025 20:41    5238
metadata.xml                                       11-Sep-2021 13:40    1514