../ minizinc-ide-dbgsym_2.1.7-1+rb2_amd64.deb 11-Apr-2022 03:15 5M minizinc-ide-dbgsym_2.1.7-1+rb2_i386.deb 11-Apr-2022 03:16 5M minizinc-ide_2.1.7-1+rb2.debian.tar.xz 11-Apr-2022 03:06 8980 minizinc-ide_2.1.7-1+rb2.dsc 11-Apr-2022 03:06 902 minizinc-ide_2.1.7-1+rb2_amd64.deb 11-Apr-2022 03:09 248K minizinc-ide_2.1.7-1+rb2_i386.deb 11-Apr-2022 03:02 267K minizinc-ide_2.1.7.orig.tar.gz 11-Apr-2022 03:06 210K