Index of /pool/main/p/petris

	Name	Last modified	Size
	Parent Directory		-
	petris_1.0.1.orig.tar.gz	2012-04-19 04:58	11K
	petris_1.0.1-11_armhf.deb	2021-11-13 11:08	15K
	petris_1.0.1-11.dsc	2021-11-07 23:12	1.7K
	petris_1.0.1-11.debian.tar.xz	2021-11-07 23:12	6.6K
	petris_1.0.1-10_armhf.deb	2016-11-25 11:08	15K
	petris_1.0.1-10.dsc	2016-11-15 00:00	1.6K
	petris_1.0.1-10.debian.tar.xz	2016-11-15 00:00	6.4K