../ minizinc-dbgsym_2.8.3+dfsg1-1_x32.deb 30-Mar-2024 00:03 54M minizinc_2.8.3+dfsg1-1_x32.buildinfo 30-Mar-2024 00:03 12K minizinc_2.8.3+dfsg1-1_x32.deb 30-Mar-2024 00:03 2M