Name Last modified Size Description Parent Directory - basex_9.7.2-1.debian.tar.xz 2022-05-30 17:41 100K basex_9.7.2-1.dsc 2022-05-30 17:41 1.9K basex_9.7.2.orig.tar.xz 2022-05-30 17:41 1.9M basex_9.7.2-1_all.deb 2022-05-30 18:07 3.8M