../ minica-dbgsym_1.0-2+b5_riscv64.deb 27-May-2024 20:06 1164136 minica_1.0-2+b5_riscv64.deb 27-May-2024 20:06 959884 minica_1.0-2.debian.tar.xz 08-May-2024 15:43 2172 minica_1.0-2.dsc 08-May-2024 15:43 1953 minica_1.0.orig.tar.gz 08-May-2024 15:43 6547