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

../
ada-reference-manual-2005_2020.1commit85143dcb-..> 02-Aug-2023 18:36            14283440
ada-reference-manual-2012_2020.1commit85143dcb-..> 02-Aug-2023 18:34            17421096
ada-reference-manual-2020_2020.1commit85143dcb-..> 02-Aug-2023 18:40            19862800