Index of /oldstable/pool/main/p/petris

	Name	Last modified	Size	Description
	Parent Directory		-
	petris_1.0.1-10+b1_arm64.deb	2025-07-07 16:55	16K
	petris_1.0.1-10.debian.tar.xz	2025-07-07 16:55	6.4K
	petris_1.0.1-10.dsc	2025-07-07 16:55	1.6K
	petris_1.0.1.orig.tar.gz	2025-07-07 16:55	11K