../ crafty_23.4-7build1.debian.tar.xz 22-Mar-2020 16:50 48K crafty_23.4-7build1.dsc 22-Mar-2020 16:50 1756 crafty_23.4-7build1_riscv64.deb 21-Aug-2024 14:31 405K crafty_23.4-8.debian.tar.xz 03-May-2024 01:55 48K crafty_23.4-8.dsc 03-May-2024 01:55 1818 crafty_23.4-8_riscv64.deb 24-Jun-2025 20:08 400K crafty_23.4.orig.tar.gz 23-Feb-2011 20:05 400K