Index of /pool/main/r/rdf4j

	Name	Last modified	Size
	Parent Directory		-
	rdf4j_3.7.7+ds-1.dsc	13-Apr-2022 08:45	2.5K
	rdf4j_3.7.7+ds-1.debian.tar.xz	13-Apr-2022 08:45	10K
	librdf4j-java_3.7.7+ds-1_all.deb	13-Apr-2022 09:10	1.5M
	rdf4j_3.7.7+ds.orig.tar.xz	13-Apr-2022 08:45	7.0M