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

../
petris_1.0.1-8.diff.gz                             03-Oct-2017 12:40                4973
petris_1.0.1-8.dsc                                 03-Oct-2017 12:40                 954
petris_1.0.1-8_amd64.deb                           24-Aug-2017 09:33               16774
petris_1.0.1-8_i386.deb                            24-Aug-2017 09:40               15550
petris_1.0.1.orig.tar.gz                           03-Oct-2017 08:09               11400