../ basex_10.5-1.debian.tar.xz 26-Nov-2023 09:55 100K basex_10.5-1.dsc 26-Nov-2023 09:55 1958 basex_10.5-1_all.deb 26-Nov-2023 16:11 4M basex_10.5.orig.tar.xz 26-Nov-2023 09:55 2M basex_9.7.2-1_all.deb 30-May-2022 19:07 4M