../ basex_9.0.1+ds-1.debian.tar.xz 01-May-2018 06:00 108372 basex_9.0.1+ds-1.dsc 01-May-2018 06:00 1990 basex_9.0.1+ds-1_all.deb 01-May-2018 06:00 3647732 basex_9.0.1+ds.orig.tar.xz 01-May-2018 06:00 1839908