../ petris_1.0.1-ok1.debian.tar.xz 27-Mar-2024 18:03 5440 petris_1.0.1-ok1.dsc 27-Mar-2024 18:03 1512 petris_1.0.1-ok1_amd64.deb 03-May-2024 13:20 14160 petris_1.0.1-ok1_arm64.deb 09-May-2024 19:20 13824 petris_1.0.1-ok1_loong64.deb 14-Aug-2024 05:24 14708 petris_1.0.1-ok1_riscv64.deb 28-Apr-2024 14:20 13920 petris_1.0.1.orig.tar.gz 27-Mar-2024 18:03 11400