../ minizinc-dbgsym_2.8.3+dfsg1-1_hurd-i386.deb 30-Mar-2024 00:03 53M minizinc_2.8.3+dfsg1-1_hurd-i386.buildinfo 30-Mar-2024 00:03 10K minizinc_2.8.3+dfsg1-1_hurd-i386.deb 30-Mar-2024 00:03 2M