Index of /main/m/minizinc/


../
minizinc_2.0.10+dfsg1-1.debian.tar.xz              03-Jan-2016 04:54                9136
minizinc_2.0.10+dfsg1-1.dsc                        03-Jan-2016 04:54                1797
minizinc_2.0.10+dfsg1.orig.tar.gz                  03-Jan-2016 04:54              446284
minizinc_2.0.11+dfsg1-1.debian.tar.xz              17-Jan-2016 22:43                9164
minizinc_2.0.11+dfsg1-1.dsc                        17-Jan-2016 22:43                1797
minizinc_2.0.11+dfsg1.orig.tar.gz                  17-Jan-2016 22:43              446388
minizinc_2.0.13+dfsg1-1.debian.tar.xz              08-Apr-2016 22:04                9180
minizinc_2.0.13+dfsg1-1.dsc                        08-Apr-2016 22:04                1797
minizinc_2.0.13+dfsg1.orig.tar.gz                  08-Apr-2016 22:04              449140
minizinc_2.0.14+dfsg1-1.debian.tar.xz              31-Aug-2016 00:21                9244
minizinc_2.0.14+dfsg1-1.dsc                        31-Aug-2016 00:21                1779
minizinc_2.0.14+dfsg1.orig.tar.gz                  31-Aug-2016 00:21              448765
minizinc_2.0.5+dfsg1-1.debian.tar.xz               16-Aug-2015 17:05                8604
minizinc_2.0.5+dfsg1-1.dsc                         16-Aug-2015 17:05                1754
minizinc_2.0.5+dfsg1.orig.tar.gz                   16-Aug-2015 17:05              389583
minizinc_2.0.8+dfsg1-1.debian.tar.xz               25-Oct-2015 14:39                8636
minizinc_2.0.8+dfsg1-1.dsc                         25-Oct-2015 14:39                1754
minizinc_2.0.8+dfsg1.orig.tar.gz                   25-Oct-2015 14:39              394074
minizinc_2.1.5+dfsg1-1.debian.tar.xz               19-Jul-2017 05:02                9680
minizinc_2.1.5+dfsg1-1.dsc                         19-Jul-2017 05:02                1804
minizinc_2.1.5+dfsg1.orig.tar.gz                   19-Jul-2017 05:02              664071
minizinc_2.1.7+dfsg1-1.debian.tar.xz               25-Jan-2018 05:33                9436
minizinc_2.1.7+dfsg1-1.dsc                         25-Jan-2018 05:33                1807
minizinc_2.1.7+dfsg1.orig.tar.xz                   25-Jan-2018 05:33              498588
minizinc_2.4.1-1.debian.tar.xz                     01-Jan-2020 18:29                8700
minizinc_2.4.1-1.dsc                               01-Jan-2020 18:29                1800
minizinc_2.4.1.orig.tar.gz                         01-Jan-2020 18:29             1569017
minizinc_2.4.2-1.debian.tar.xz                     13-Jan-2020 03:36                8728
minizinc_2.4.2-1.dsc                               13-Jan-2020 03:36                1798
minizinc_2.4.2.orig.tar.gz                         13-Jan-2020 03:36             1535346
minizinc_2.4.3-1.debian.tar.xz                     03-Apr-2020 06:23                8744
minizinc_2.4.3-1.dsc                               03-Apr-2020 06:23                1798
minizinc_2.4.3-2.debian.tar.xz                     13-May-2020 18:39                9200
minizinc_2.4.3-2.dsc                               13-May-2020 18:39                1798
minizinc_2.4.3-3.debian.tar.xz                     08-Aug-2020 20:35                9580
minizinc_2.4.3-3.dsc                               08-Aug-2020 20:35                1798
minizinc_2.4.3.orig.tar.gz                         03-Apr-2020 06:23             1547377
minizinc_2.5.1-1.debian.tar.xz                     22-Oct-2020 16:55                8972
minizinc_2.5.1-1.dsc                               22-Oct-2020 16:55                1798
minizinc_2.5.1.orig.tar.gz                         22-Oct-2020 16:55             1585207
minizinc_2.5.2+dfsg1-1.debian.tar.xz               15-Nov-2020 14:42                9008
minizinc_2.5.2+dfsg1-1.dsc                         15-Nov-2020 14:42                1840
minizinc_2.5.2+dfsg1.orig.tar.gz                   15-Nov-2020 14:42             1618554