Index of /trusty/pool/universe/b/basex

	Name	Last modified	Size	Description
	Parent Directory		-
	basex_7.7.2-1.debian.tar.gz	2013-10-21 15:09	97K
	basex_7.7.2-1.dsc	2013-10-21 15:09	1.9K
	basex_7.7.2.orig.tar.gz	2013-10-21 15:09	4.7M
	basex_7.7.2-1_all.deb	2013-10-21 19:38	2.6M