../ basex_10.5-1.debian.tar.xz 26-Nov-2023 00:55 102800 basex_10.5-1.dsc 26-Nov-2023 00:55 1958 basex_10.5-1_all.deb 26-Nov-2023 07:11 4482620 basex_10.5.orig.tar.xz 26-Nov-2023 00:55 2309864 basex_9.7.2-1.debian.tar.xz 30-May-2022 09:41 102212 basex_9.7.2-1.dsc 30-May-2022 09:41 1965 basex_9.7.2-1_all.deb 30-May-2022 10:07 3958800 basex_9.7.2.orig.tar.xz 30-May-2022 09:41 1942880