../ basex_9.7.2-1.debian.tar.xz 02-Aug-2025 08:04 100K basex_9.7.2-1.dsc 02-Aug-2025 08:04 1965 basex_9.7.2-1_all.deb 02-Aug-2025 08:04 4M basex_9.7.2.orig.tar.xz 02-Aug-2025 08:04 2M