../ minizinc-dbgsym_2.9.2+dfsg1-1_x32.deb 07-Mar-2025 09:03 59M minizinc_2.9.2+dfsg1-1_x32.buildinfo 07-Mar-2025 09:03 11K minizinc_2.9.2+dfsg1-1_x32.deb 07-Mar-2025 09:03 2M