Public Mirrors
[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]AdaSAT-25.0.02025-12-03 14:06 1.4K
[ ]Manifest.gz2025-12-09 18:41 6.0K
[ ]VSS-25.0.0-r12025-12-03 14:06 1.7K
[ ]ada_language_server-25.0.20241014-r42025-12-03 03:40 5.7K
[ ]ada_libfswatch-2024.07.09-r12025-12-04 07:51 1.5K
[ ]adareducer-0.202504022025-12-09 18:41 2.2K
[ ]aunit-25.0.0-r32025-12-07 12:40 1.8K
[ ]aws-25.1.0-r32025-12-03 03:40 3.9K
[ ]e3-core-22.6.0-r32025-11-26 16:12 5.9K
[ ]e3-core-22.6.0-r52025-12-08 13:11 6.3K
[ ]e3-testsuite-26.0-r22025-11-26 16:12 3.0K
[ ]gnatcoll-bindings-25.0.0-r12025-12-04 19:40 3.4K
[ ]gnatcoll-core-25.0.0-r22025-12-04 07:51 2.1K
[ ]gnatcoll-db-25.0.0-r22025-12-03 03:40 3.3K
[ ]gnatdoc-25.0.0-r42025-12-03 03:40 2.1K
[ ]gnatformat-25.0.0-r12025-12-07 12:40 2.4K
[ ]gnatmem-2021-r62025-12-06 15:40 1.8K
[ ]gnatsymbolize-2021-r52025-12-03 03:40 1.1K
[ ]gpr-24.0.0-r22025-12-03 03:40 2.3K
[ ]gpr-24.2.02025-12-03 03:40 2.2K
[ ]gpr-25.0.0-r32025-12-06 23:11 2.7K
[ ]gprbuild-25.0.0-r52025-12-03 08:03 2.0K
[ ]gprconfig_kb-25.0.0-r32025-12-03 08:03 680
[ ]gtkada-25.0.1-r22025-12-07 22:12 2.0K
[ ]lal-refactor-25.0.0-r22025-12-07 21:40 1.6K
[ ]langkit-24.0.0-r22025-12-03 03:40 4.1K
[ ]langkit-25.0.0-r52025-12-04 20:10 5.3K
[ ]langkit-contrib-25.0.0-r22025-12-05 19:41 3.2K
[ ]libadalang-25.0.0-r12025-12-07 10:10 3.4K
[ ]libadalang-tools-25.0.0-r22025-12-07 20:40 2.3K
[ ]libgpr-25.0.0-r32025-12-03 20:10 1.2K
[ ]markdown-25.0.0-r22025-12-07 12:40 2.0K
[ ]prettier-ada-25.0.0-r22025-12-04 20:10 2.4K
[ ]spawn-25.0.0-r42025-12-07 21:40 1.3K
[ ]templates-parser-24.0.0-r12025-12-03 03:40 1.4K
[ ]templates-parser-25.0.0-r42025-12-07 19:40 2.3K
[ ]xmlada-25.0.0-r52025-12-03 08:03 2.1K