../ basex_8.2.3-1.debian.tar.xz 21-Jul-2015 11:13 96224 basex_8.2.3-1.dsc 21-Jul-2015 11:13 1884 basex_8.2.3-1_all.deb 21-Jul-2015 11:13 3429262 basex_8.2.3.orig.tar.gz 21-Jul-2015 11:13 5332249