Name Last modified Size Description
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/unknown.gif)
minizinc_2.0.11+dfsg1-1.debian.tar.xz 18-Jan-2016 01:14 8.9K
minizinc_2.0.11+dfsg1-1.dsc 18-Jan-2016 01:14 1.8K
minizinc_2.0.11+dfsg1-1_amd64.deb 18-Jan-2016 01:45 1.0M
minizinc_2.0.11+dfsg1-1_i386.deb 18-Jan-2016 01:46 1.1M
![[ ]](/images/zip.gif)
minizinc_2.0.11+dfsg1.orig.tar.gz 18-Jan-2016 01:14 436K
minizinc_2.1.7+dfsg1-1.debian.tar.xz 24-Jan-2018 01:28 9.2K
minizinc_2.1.7+dfsg1-1.dsc 24-Jan-2018 01:28 1.8K
minizinc_2.1.7+dfsg1-1_amd64.deb 24-Jan-2018 01:28 1.7M
minizinc_2.1.7+dfsg1-1_i386.deb 24-Jan-2018 01:29 1.7M
minizinc_2.1.7+dfsg1.orig.tar.xz 24-Jan-2018 01:28 487K
minizinc_2.4.2-1build1.debian.tar.xz 24-Mar-2020 16:43 8.6K
minizinc_2.4.2-1build1.dsc 24-Mar-2020 16:43 1.8K
minizinc_2.4.2-1build1_amd64.deb 24-Mar-2020 18:12 1.4M
minizinc_2.4.2.orig.tar.gz 11-Jan-2020 01:13 1.5M
minizinc_2.4.3-3.debian.tar.xz 09-Aug-2020 08:13 9.4K
minizinc_2.4.3-3.dsc 09-Aug-2020 08:13 1.8K
minizinc_2.4.3-3_amd64.deb 09-Aug-2020 08:23 1.4M
minizinc_2.4.3.orig.tar.gz 27-Apr-2020 22:33 1.5M
minizinc_2.5.3+dfsg1-1.debian.tar.xz 10-Dec-2020 07:23 8.8K
minizinc_2.5.3+dfsg1-1.dsc 10-Dec-2020 07:23 1.8K
minizinc_2.5.3+dfsg1-1_amd64.deb 10-Dec-2020 07:39 1.5M
minizinc_2.5.3+dfsg1.orig.tar.gz 10-Dec-2020 07:23 1.5M
Apache/2.2 Server at ftp.ntua.gr Port 80
