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
minizinc_2.5.3+dfsg1-1.debian.tar.xz 09-Dec-2020 18:17 9020
minizinc_2.5.3+dfsg1-1.dsc 09-Dec-2020 18:17 1840
minizinc_2.5.3+dfsg1.orig.tar.gz 09-Dec-2020 18:17 1622012