../ petris_1.0.1-10build1_loongarch64.deb 27-Jul-2021 05:30 18100 petris_1.0.1-10build1_riscv64.deb 15-Aug-2023 07:57 17736 petris_1.0.1-ok1_amd64.deb 29-Sep-2024 10:03 16028 petris_1.0.1-ok1_arm64.deb 09-Oct-2024 09:53 15692 petris_1.0.1-ok1_loong64.deb 31-Oct-2024 10:56 16576