../ basex_7.9-1.debian.tar.xz 02-Dec-2023 13:51 94832 basex_7.9-1.dsc 02-Dec-2023 13:51 1870 basex_7.9-1_all.deb 02-Dec-2023 13:51 2936782 basex_7.9.orig.tar.gz 02-Dec-2023 13:51 5034233 basex_8.5.1-1.debian.tar.xz 01-Dec-2023 22:14 96992 basex_8.5.1-1.dsc 01-Dec-2023 22:14 1930 basex_8.5.1-1_all.deb 01-Dec-2023 22:14 3567644 basex_8.5.1.orig.tar.gz 01-Dec-2023 22:14 2830051 basex_9.0.1+ds-1_all.deb 26-Apr-2018 11:34 3647732