../ ragel_6.10-ok1.debian.tar.xz 28-Mar-2024 18:09 2224 ragel_6.10-ok1.dsc 28-Mar-2024 18:09 1738 ragel_6.10-ok1_amd64.deb 04-May-2024 19:20 948572 ragel_6.10-ok1_arm64.deb 12-May-2024 06:39 902284 ragel_6.10-ok1_loong64.deb 16-Aug-2024 20:50 1022812 ragel_6.10-ok1_riscv64.deb 13-Jun-2024 03:35 953668 ragel_6.10.orig.tar.gz 28-Mar-2024 18:09 1232993