Index of /debian/pool/main/p/petris

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 petris_1.0.1-11+b2_amd64.deb  2022-09-19 02:58   17K  
 petris_1.0.1-11.debian.tar.xz 2021-11-07 23:12  6.6K  
 petris_1.0.1-11.dsc           2021-11-07 23:12  1.7K  
 petris_1.0.1.orig.tar.gz      2004-05-24 21:33   11K