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.debian.tar.xz
2021-11-07 22:12
6.6K
petris_1.0.1-11.dsc
2021-11-07 22:12
1.7K
petris_1.0.1-11+b2_amd64.deb
2022-09-19 00:58
17K