../ basex_10.5-1.debian.tar.xz 15-Dec-2023 22:56 102800 basex_10.5-1.dsc 15-Dec-2023 22:56 1958 basex_10.5-1_all.deb 15-Dec-2023 22:56 4423624 basex_10.5.orig.tar.xz 15-Dec-2023 22:56 2309864 basex_9.0.1+ds-1.1.debian.tar.xz 27-Aug-2023 02:04 108452 basex_9.0.1+ds-1.1.dsc 27-Aug-2023 02:04 1969 basex_9.0.1+ds-1.1_all.deb 27-Aug-2023 02:04 3598704 basex_9.0.1+ds.orig.tar.xz 25-Aug-2023 20:45 1839908