Index of /repository/pool/main/p/petris

	Name	Last modified	Size	Description
	Parent Directory		-
	petris_1.0.1-10+b1_amd64.deb	2018-05-05 13:59	17K
	petris_1.0.1-10.debian.tar.xz	2016-11-15 00:00	6.4K
	petris_1.0.1-10.dsc	2016-11-15 00:00	1.6K
	petris_1.0.1.orig.tar.gz	2004-05-24 21:33	11K