Name Last modified Size Description Parent Directory - basex_7.3-1_all.deb 2012-06-29 17:21 2.3M basex_7.3.orig.tar.gz 2012-06-29 17:21 1.2M basex_7.3-1.debian.tar.gz 2012-06-29 17:21 96K basex_7.3-1.dsc 2012-06-29 17:21 1.8K