../ basex_10.5-1.debian.tar.xz 26-Nov-2023 06:55 102800 basex_10.5-1.dsc 26-Nov-2023 06:55 1958 basex_10.5-1_all.deb 26-Nov-2023 13:11 4482620 basex_10.5.orig.tar.xz 26-Nov-2023 06:55 2309864 basex_9.0.1+ds-1.debian.tar.xz 01-May-2018 06:00 108372 basex_9.0.1+ds-1.dsc 01-May-2018 06:00 1990 basex_9.0.1+ds-1_all.deb 01-May-2018 06:00 3647732 basex_9.0.1+ds.orig.tar.xz 01-May-2018 06:00 1839908