Index of /argostmp/pool/main/b/basex/

../
basex_10.5-1.debian.tar.xz                         26-Nov-2023 06:55              102800
basex_10.5-1.dsc                                   26-Nov-2023 06:55                1958
basex_10.5.orig.tar.xz                             26-Nov-2023 06:55             2309864