Index of /main/m/minizinc-ide/

../
minizinc-ide_0.9.9-1.debian.tar.xz                 16-Aug-2015 17:05                8100
minizinc-ide_0.9.9-1.dsc                           16-Aug-2015 17:05                1752
minizinc-ide_0.9.9.orig.tar.gz                     16-Aug-2015 17:05              413043
minizinc-ide_2.0.10-1.debian.tar.xz                03-Jan-2016 04:54                8540
minizinc-ide_2.0.10-1.dsc                          03-Jan-2016 04:54                1759
minizinc-ide_2.0.10.orig.tar.gz                    03-Jan-2016 04:54              415324
minizinc-ide_2.0.13-1.debian.tar.xz                08-Apr-2016 22:04                8548
minizinc-ide_2.0.13-1.dsc                          08-Apr-2016 22:04                1759
minizinc-ide_2.0.13.orig.tar.gz                    08-Apr-2016 22:04              415645
minizinc-ide_2.0.14-1.debian.tar.xz                31-Aug-2016 00:21                9020
minizinc-ide_2.0.14-1.dsc                          31-Aug-2016 00:21                1741
minizinc-ide_2.0.14.orig.tar.gz                    31-Aug-2016 00:21              209391
minizinc-ide_2.0.8-1.debian.tar.xz                 25-Oct-2015 14:39                8500
minizinc-ide_2.0.8-1.dsc                           25-Oct-2015 14:39                1752
minizinc-ide_2.0.8.orig.tar.gz                     25-Oct-2015 14:39              415087
minizinc-ide_2.1.7-1.debian.tar.xz                 25-Jan-2018 05:33                8956
minizinc-ide_2.1.7-1.dsc                           25-Jan-2018 05:33                1769
minizinc-ide_2.1.7.orig.tar.gz                     25-Jan-2018 05:33              215504
minizinc-ide_2.4.1-1.debian.tar.xz                 01-Jan-2020 18:29                8876
minizinc-ide_2.4.1-1.dsc                           01-Jan-2020 18:29                1763
minizinc-ide_2.4.1.orig.tar.gz                     01-Jan-2020 18:29              478915
minizinc-ide_2.4.2-1.debian.tar.xz                 13-Jan-2020 03:36                8908
minizinc-ide_2.4.2-1.dsc                           13-Jan-2020 03:36                1763
minizinc-ide_2.4.2-2.debian.tar.xz                 19-Jan-2020 23:56                8776
minizinc-ide_2.4.2-2.dsc                           19-Jan-2020 23:56                1763
minizinc-ide_2.4.2.orig.tar.gz                     13-Jan-2020 03:36              480006
minizinc-ide_2.4.3-1.debian.tar.xz                 03-Apr-2020 06:23                8792
minizinc-ide_2.4.3-1.dsc                           03-Apr-2020 06:23                1763
minizinc-ide_2.4.3.orig.tar.gz                     03-Apr-2020 06:23              480166
minizinc-ide_2.5.1-1.debian.tar.xz                 22-Oct-2020 16:55               13016
minizinc-ide_2.5.1-1.dsc                           22-Oct-2020 16:55                1766
minizinc-ide_2.5.1.orig.tar.gz                     22-Oct-2020 16:55              795362
minizinc-ide_2.5.2-1.debian.tar.xz                 15-Nov-2020 14:42               13024
minizinc-ide_2.5.2-1.dsc                           15-Nov-2020 14:42                1766
minizinc-ide_2.5.2.orig.tar.gz                     15-Nov-2020 14:42              798196
minizinc-ide_2.5.3-1.debian.tar.xz                 09-Dec-2020 18:17               13040
minizinc-ide_2.5.3-1.dsc                           09-Dec-2020 18:17                1766
minizinc-ide_2.5.3.orig.tar.gz                     09-Dec-2020 18:17              798423