../ minizinc-dbgsym_2.6.4+dfsg1-1+b1_riscv64.deb 27-May-2024 20:15 43323452 minizinc_2.6.4+dfsg1-1+b1_riscv64.deb 27-May-2024 20:15 2206640 minizinc_2.6.4+dfsg1-1.debian.tar.xz 08-May-2024 15:44 9132 minizinc_2.6.4+dfsg1-1.dsc 08-May-2024 15:44 1801 minizinc_2.6.4+dfsg1.orig.tar.xz 08-May-2024 15:44 879400