../ ada-reference-manual-2005_2012.3-ok1_all.deb 23-Jul-2022 02:35 13347546 ada-reference-manual-2012_2012.3-ok1_all.deb 23-Jul-2022 02:35 16302022 ada-reference-manual_2012.3-ok1.debian.tar.xz 23-Jul-2022 02:35 5388 ada-reference-manual_2012.3-ok1.dsc 23-Jul-2022 02:35 2043 ada-reference-manual_2012.3.orig.tar.gz 23-Jul-2022 02:35 2578264