Index of /debian/pool/main/j/jabref

	Name	Last modified	Size
	Parent Directory		-
	jabref_3.8.2+ds-17.debian.tar.xz	2022-12-29 00:57	51K
	jabref_3.8.2+ds-17.dsc	2022-12-29 00:57	2.8K
	jabref_3.8.2+ds-17_all.deb	2022-12-29 01:48	3.7M
	jabref_3.8.2+ds.orig.tar.xz	2017-02-10 22:50	2.1M