../ 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_12.4+ds-1.debian.tar.xz 29-Jul-2026 14:02 109224 basex_12.4+ds-1.dsc 29-Jul-2026 14:02 2116 basex_12.4+ds-1_all.deb 29-Jul-2026 14:38 4974800 basex_12.4+ds.orig.tar.xz 29-Jul-2026 14:02 2471204