../ basex_8.5.1-1.debian.tar.xz 24-Apr-2019 17:10 95K basex_8.5.1-1.dsc 24-Apr-2019 17:10 1930 basex_8.5.1-1_all.deb 24-Apr-2019 17:10 3M basex_8.5.1.orig.tar.gz 24-Apr-2019 17:10 3M