Index of /ubuntu-ports/pool/universe/p/petris/

../
petris_1.0.1-11.debian.tar.xz                      31-Aug-2023 00:57                6772
petris_1.0.1-11.dsc                                31-Aug-2023 00:57                1693
petris_1.0.1-11_arm64.deb                          31-Aug-2023 00:57               16332
petris_1.0.1.orig.tar.gz                           31-Aug-2023 00:57               11400