../ basex_8.5.1-1.debian.tar.xz 21-Jul-2016 00:13 95K basex_8.5.1-1.dsc 21-Jul-2016 00:13 1930 basex_8.5.1-1_all.deb 21-Jul-2016 00:13 3M basex_8.5.1.orig.tar.gz 21-Jul-2016 00:13 3M basex_9.0.1+ds-1.debian.tar.xz 26-Apr-2018 11:34 106K basex_9.0.1+ds-1.dsc 26-Apr-2018 11:34 1990 basex_9.0.1+ds-1_all.deb 26-Apr-2018 11:34 3M basex_9.0.1+ds.orig.tar.xz 26-Apr-2018 11:34 2M