(BIN) basex_7.3-1.debian.tar.gz
 (TXT) basex_7.3-1.dsc
 (BIN) basex_7.3-1_all.deb
 (BIN) basex_7.3.orig.tar.gz
 (BIN) basex_7.9-1.debian.tar.xz
 (TXT) basex_7.9-1.dsc
 (BIN) basex_7.9-1_all.deb
 (BIN) basex_7.9.orig.tar.gz
 (BIN) basex_8.5.1-1.debian.tar.xz
 (TXT) basex_8.5.1-1.dsc
 (BIN) basex_8.5.1-1_all.deb
 (BIN) basex_8.5.1.orig.tar.gz
 (BIN) basex_9.0.1+ds-1.1.debian.tar.xz
 (TXT) basex_9.0.1+ds-1.1.dsc
 (BIN) basex_9.0.1+ds-1.1_all.deb
 (BIN) basex_9.0.1+ds-1.debian.tar.xz
 (TXT) basex_9.0.1+ds-1.dsc
 (BIN) basex_9.0.1+ds-1_all.deb
 (BIN) basex_9.0.1+ds.orig.tar.xz