../ minizinc-dbgsym_2.8.7+dfsg1-1_sparc64.deb 09-Oct-2024 21:03 57M minizinc_2.8.7+dfsg1-1_sparc64.buildinfo 09-Oct-2024 21:03 11K minizinc_2.8.7+dfsg1-1_sparc64.deb 09-Oct-2024 21:03 2M