Index of /pool/main/a/ada-reference-manual/

../
ada-reference-manual-2005_2020.1commit85143dcb-..> 06-Dec-2025 14:22            13583504
ada-reference-manual-2012_2020.1commit85143dcb-..> 06-Dec-2025 14:04            16586972
ada-reference-manual-2020_2020.1commit85143dcb-..> 06-Dec-2025 13:19            18980776