../ minizinc-dbgsym_2.0.11+dfsg1-1_amd64.ddeb 23-Apr-2016 13:43 9M minizinc-dbgsym_2.0.11+dfsg1-1_i386.ddeb 22-Apr-2016 22:44 9M minizinc-dbgsym_2.5.3+dfsg1-1_amd64.ddeb 10-Dec-2020 13:42 32M