../ basex_10.5-1.debian.tar.xz 16-Dec-2023 00:27 102800 basex_10.5-1.dsc 16-Dec-2023 00:27 1958 basex_10.5-1_all.deb 16-Dec-2023 00:27 4423624 basex_10.5.orig.tar.xz 16-Dec-2023 00:27 2309864 basex_9.0.1+ds-1.1.debian.tar.xz 30-Aug-2023 22:18 108452 basex_9.0.1+ds-1.1.dsc 30-Aug-2023 22:18 1969 basex_9.0.1+ds-1.1_all.deb 30-Aug-2023 22:18 3598704 basex_9.0.1+ds.orig.tar.xz 30-Aug-2023 22:18 1839908