../ basex_10.5-1.debian.tar.xz 18-Jul-2025 03:24 102796 basex_10.5-1.dsc 18-Jul-2025 03:24 1046 basex_10.5-1_all.deb 14-Jul-2025 22:12 4482620 basex_10.5.orig.tar.xz 18-Jul-2025 03:24 2309864