Index of /pub/debian-archive/debian-amd64/pool/main/p/petris

	Name	Last modified	Size	Description
	Parent Directory		-
	petris_1.0.1-4sarge0.diff.gz	2006-07-15 18:05	4.2K
	petris_1.0.1-4sarge0.dsc	2005-12-23 21:30	597
	petris_1.0.1-4sarge0_amd64.deb	2005-12-26 07:50	16K
	petris_1.0.1.orig.tar.gz	2004-05-24 15:33	11K