Index of /archive/pool/universe/m/minizinc-ide/


../
minizinc-ide_2.0.10-1.debian.tar.xz                03-Jan-2016 16:14    8540
minizinc-ide_2.0.10-1.dsc                          03-Jan-2016 16:14    1759
minizinc-ide_2.0.10-1_amd64.deb                    03-Jan-2016 16:28    275K
minizinc-ide_2.0.10-1_i386.deb                     03-Jan-2016 16:14    285K
minizinc-ide_2.0.10.orig.tar.gz                    03-Jan-2016 16:14    406K
minizinc-ide_2.1.7-1.debian.tar.xz                 24-Jan-2018 10:28    8956
minizinc-ide_2.1.7-1.dsc                           24-Jan-2018 10:28    1769
minizinc-ide_2.1.7-1_amd64.deb                     24-Jan-2018 10:28    246K
minizinc-ide_2.1.7-1_i386.deb                      24-Jan-2018 10:29    262K
minizinc-ide_2.1.7.orig.tar.gz                     24-Jan-2018 10:28    210K
minizinc-ide_2.4.2-2build1.debian.tar.xz           23-Mar-2020 04:10    8852
minizinc-ide_2.4.2-2build1.dsc                     23-Mar-2020 04:10    1812
minizinc-ide_2.4.2-2build1_amd64.deb               23-Mar-2020 05:00    529K
minizinc-ide_2.4.2.orig.tar.gz                     11-Jan-2020 10:13    469K
minizinc-ide_2.4.3-1.debian.tar.xz                 28-Apr-2020 06:33    8792
minizinc-ide_2.4.3-1.dsc                           28-Apr-2020 06:33    1763
minizinc-ide_2.4.3-1_amd64.deb                     28-Apr-2020 08:15    529K
minizinc-ide_2.4.3.orig.tar.gz                     28-Apr-2020 06:33    469K
minizinc-ide_2.5.3-1.debian.tar.xz                 10-Dec-2020 16:23     13K
minizinc-ide_2.5.3-1.dsc                           10-Dec-2020 16:23    1766
minizinc-ide_2.5.3-1_amd64.deb                     10-Dec-2020 16:39    755K
minizinc-ide_2.5.3.orig.tar.gz                     10-Dec-2020 16:23    780K