Index of /pub/gwdg/ubuntu/22.04/pool/universe/a/ada-reference-manual/

../
ada-reference-manual-2005_2020.1commit85143dcb-..> 28-Oct-2020 20:06            14282476
ada-reference-manual-2012_2020.1commit85143dcb-..> 28-Oct-2020 20:06            17421060
ada-reference-manual-2020_2020.1commit85143dcb-..> 28-Oct-2020 20:06            19862848