../ astrometry-data-tycho2-07_2-4_x32.deb 02-Sep-2018 12:03 3324 astrometry-data-tycho2-08_2-4_x32.deb 02-Sep-2018 12:03 3324 astrometry-data-tycho2-09_2-4_x32.deb 02-Sep-2018 12:03 3324 astrometry-data-tycho2-10-19_2-4_x32.deb 02-Sep-2018 12:03 3336 tycho2_2-4_x32.buildinfo 02-Sep-2018 12:03 9665