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

../
petris_1.0.1-10build1.debian.tar.xz                31-Aug-2023 00:57                6624
petris_1.0.1-10build1.dsc                          31-Aug-2023 00:57                1716
petris_1.0.1-10build1_arm64.deb                    31-Aug-2023 00:57               15700
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