Index of /pool/main/j/jabref

	Name	Last modified	Size
	Parent Directory		-
	jabref_3.8.2+ds-12.debian.tar.xz	2019-02-09 20:52	49K
	jabref_3.8.2+ds-12.dsc	2019-02-09 20:52	2.7K
	jabref_3.8.2+ds-12_all.deb	2019-02-10 03:55	3.6M
	jabref_3.8.2+ds.orig.tar.xz	2017-02-10 20:50	2.1M