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

	Name	Last modified	Size	Description
	Parent Directory		-
	jabref_3.8.2+ds-12.debian.tar.xz	09-Feb-2019 20:52	49K
	jabref_3.8.2+ds-12.dsc	09-Feb-2019 20:52	2.7K
	jabref_3.8.2+ds-12_all.deb	10-Feb-2019 03:55	3.6M
	jabref_3.8.2+ds-15.debian.tar.xz	07-Jul-2021 16:59	50K
	jabref_3.8.2+ds-15.dsc	07-Jul-2021 16:59	2.9K
	jabref_3.8.2+ds-15_all.deb	07-Jul-2021 18:24	3.6M
	jabref_3.8.2+ds-17.debian.tar.xz	28-Dec-2022 22:57	51K
	jabref_3.8.2+ds-17.dsc	28-Dec-2022 22:57	2.8K
	jabref_3.8.2+ds-17_all.deb	28-Dec-2022 23:48	3.7M
	jabref_3.8.2+ds.orig.tar.xz	10-Feb-2017 20:50	2.1M