Index of /debian/pool/main/p/petris

	Name	Last modified	Size	Description
	Parent Directory		-
	petris_1.0.1.orig.tar.gz	2004-05-24 19:33	11K
	petris_1.0.1-11.1.debian.tar.xz	2025-01-03 06:09	6.7K
	petris_1.0.1-11.1.dsc	2025-01-03 06:09	1.3K
	petris_1.0.1-11.1_amd64.deb	2025-01-08 08:17	16K