../ 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.7.2-1.debian.tar.xz 30-May-2022 15:41 102212 basex_9.7.2-1.dsc 30-May-2022 15:41 1965 basex_9.7.2-1_all.deb 30-May-2022 16:07 3958800 basex_9.7.2.orig.tar.xz 30-May-2022 15:41 1942880