Index of /pool/main/m/minizinc-ide/


../
minizinc-ide-dbgsym_2.1.7-1+rb2_amd64.deb          11-Apr-2022 03:15             5189144
minizinc-ide-dbgsym_2.1.7-1+rb2_i386.deb           11-Apr-2022 03:16             5112676
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              253604
minizinc-ide_2.1.7-1+rb2_i386.deb                  11-Apr-2022 03:02              273160
minizinc-ide_2.1.7.orig.tar.gz                     11-Apr-2022 03:06              215504