../ basex_8.5.1-1.debian.tar.xz 20-Jul-2016 16:13 96992 basex_8.5.1-1.dsc 20-Jul-2016 16:13 1930 basex_8.5.1-1_all.deb 20-Jul-2016 16:13 3567644 basex_8.5.1.orig.tar.gz 20-Jul-2016 16:13 2830051