../ minizinc-dbgsym_2.8.5+dfsg1-2_hppa.deb 27-Aug-2024 18:03 47M minizinc_2.8.5+dfsg1-2_hppa.buildinfo 27-Aug-2024 18:03 11K minizinc_2.8.5+dfsg1-2_hppa.deb 27-Aug-2024 18:03 2M