Index of /debian/pool/main/j/jtreg7

	Name	Last modified	Size	Description

	Parent Directory		-
	jtreg7_7.5.1+1+ds1-3_all.deb	2025-07-30 22:13	9.1M
	jtreg7_7.3.1+1-1~deb12u1_all.deb	2025-07-30 22:13	694K

Apache/2.4.58 (Ubuntu) Server at mirror.alexanderwagner.xyz Port 443