Index of /pub/os/linux/debian-amd64/pool/main/p/petris/

Filename	Modification time	Size
petris_1.0.1-4sarge0.diff.gz	2006-07-16 00:05 CEST	4255 B
petris_1.0.1-4sarge0.dsc	2005-12-24 03:30 CET	597 B
petris_1.0.1-4sarge0_amd64.deb	2005-12-26 13:50 CET	16 KiB
petris_1.0.1.orig.tar.gz	2004-05-24 21:33 CEST	11 KiB