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

	Name	Last modified	Size
	Parent Directory		-
	jabref_3.8.2+ds-12_all.deb	10-Feb-2019 03:55	3.6M
	jabref_3.8.2+ds-15_all.deb	07-Jul-2021 18:24	3.6M
	jabref_3.8.2+ds-17_all.deb	28-Dec-2022 23:48	3.7M