../ basex_8.5.1-1.debian.tar.xz 31-Oct-2025 17:25 95K basex_8.5.1-1.dsc 31-Oct-2025 17:25 1930 basex_8.5.1-1_all.deb 31-Oct-2025 17:32 3M basex_8.5.1.orig.tar.gz 31-Oct-2025 17:25 3M basex_9.0.1+ds-1.debian.tar.xz 31-Oct-2025 16:34 106K basex_9.0.1+ds-1.dsc 31-Oct-2025 16:34 1990 basex_9.0.1+ds-1_all.deb 31-Oct-2025 16:58 3M basex_9.0.1+ds.orig.tar.xz 31-Oct-2025 16:34 2M