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