../ basex_7.3-1.debian.tar.gz 03-Apr-2019 01:32 98604 basex_7.3-1.dsc 03-Apr-2019 01:32 1856 basex_7.3-1_all.deb 03-Apr-2019 01:36 2363842 basex_7.3.orig.tar.gz 03-Apr-2019 01:32 1254360 basex_7.9-1.debian.tar.xz 03-Oct-2017 12:31 94832 basex_7.9-1.dsc 03-Oct-2017 12:31 1870 basex_7.9-1_all.deb 24-Aug-2017 09:40 2936782 basex_7.9.orig.tar.gz 03-Oct-2017 12:31 5034233