Index of /dev/pool/main/b/basex/

../
basex_9.7.2-1.debian.tar.xz                        30-May-2022 15:41              102212
basex_9.7.2-1.dsc                                  30-May-2022 15:41                1965
basex_9.7.2-1_all.deb                              30-May-2022 16:07             3958800
basex_9.7.2.orig.tar.xz                            30-May-2022 15:41             1942880