Index of /professional/pool/main/b/basex/

../
basex_8.2.3-1.debian.tar.xz                        21-Jul-2015 12:07               96224
basex_8.2.3-1.dsc                                  21-Jul-2015 12:07                1884
basex_8.2.3-1_all.deb                              21-Jul-2015 12:07             3461212
basex_8.2.3.orig.tar.gz                            21-Jul-2015 12:07             5332249
basex_8.5.1-1.debian.tar.xz                        21-Jul-2016 00:13               96992
basex_8.5.1-1.dsc                                  21-Jul-2016 00:13                1930
basex_8.5.1-1_all.deb                              21-Jul-2016 00:13             3567644
basex_8.5.1.orig.tar.gz                            21-Jul-2016 00:13             2830051