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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]minizinc-ide_2.1.7-1.debian.tar.xz2018-01-23 17:43 8.7K
[ ]minizinc-ide_2.1.7-1.dsc2018-01-23 17:43 1.7K
[ ]minizinc-ide_2.1.7-1_amd64.deb2018-01-23 17:43 244K
[ ]minizinc-ide_2.1.7-1_arm64.deb2018-01-23 18:14 233K
[ ]minizinc-ide_2.1.7-1_i386.deb2018-01-23 18:59 260K
[ ]minizinc-ide_2.1.7.orig.tar.gz2018-01-23 17:43 210K
[ ]minizinc-ide_2.5.3-1.debian.tar.xz2020-12-10 06:01 13K
[ ]minizinc-ide_2.5.3-1.dsc2020-12-10 06:01 1.7K
[ ]minizinc-ide_2.5.3-1_amd64.deb2020-12-10 06:01 755K
[ ]minizinc-ide_2.5.3-1_arm64.deb2020-12-10 06:01 697K
[ ]minizinc-ide_2.5.3-1_i386.deb2020-12-10 06:01 797K
[ ]minizinc-ide_2.5.3.orig.tar.gz2020-12-10 06:01 780K
[ ]minizinc-ide_2.6.3-1.debian.tar.xz2022-05-30 00:04 13K
[ ]minizinc-ide_2.6.3-1.dsc2022-05-30 00:04 1.7K
[ ]minizinc-ide_2.6.3-1_amd64.deb2022-05-30 00:04 847K
[ ]minizinc-ide_2.6.3-1_arm64.deb2022-05-30 00:04 785K
[ ]minizinc-ide_2.6.3-1_i386.deb2022-05-30 00:04 897K
[ ]minizinc-ide_2.6.3.orig.tar.gz2022-05-30 00:04 808K
[ ]minizinc-ide_2.8.2-1+b1_amd64.deb2024-03-16 12:05 889K
[ ]minizinc-ide_2.8.2-1+b1_arm64.deb2024-03-16 12:05 818K
[ ]minizinc-ide_2.8.2-1+b1_i386.deb2024-03-16 18:02 936K
[ ]minizinc-ide_2.8.2-1.debian.tar.xz2024-01-02 00:03 13K
[ ]minizinc-ide_2.8.2-1.dsc2024-01-02 00:03 1.7K
[ ]minizinc-ide_2.8.2-1_amd64.deb2024-01-02 00:03 889K
[ ]minizinc-ide_2.8.2-1_arm64.deb2024-01-02 00:03 817K
[ ]minizinc-ide_2.8.2-1_i386.deb2024-01-02 00:03 936K
[ ]minizinc-ide_2.8.2.orig.tar.gz2024-01-02 00:03 816K