Index of /archive/pool/universe/m/minizinc
Name
Last modified
Size
Description
Parent Directory
-
minizinc_2.0.11+dfsg1-1.debian.tar.xz
17-Jan-2016 17:14
8.9K
minizinc_2.0.11+dfsg1-1.dsc
17-Jan-2016 17:14
1.8K
minizinc_2.0.11+dfsg1-1_amd64.deb
17-Jan-2016 17:45
1.0M
minizinc_2.0.11+dfsg1-1_i386.deb
17-Jan-2016 17:46
1.1M
minizinc_2.0.11+dfsg1.orig.tar.gz
17-Jan-2016 17:14
436K
minizinc_2.1.7+dfsg1-1.debian.tar.xz
23-Jan-2018 17:28
9.2K
minizinc_2.1.7+dfsg1-1.dsc
23-Jan-2018 17:28
1.8K
minizinc_2.1.7+dfsg1-1_amd64.deb
23-Jan-2018 17:28
1.7M
minizinc_2.1.7+dfsg1-1_i386.deb
23-Jan-2018 17:29
1.7M
minizinc_2.1.7+dfsg1.orig.tar.xz
23-Jan-2018 17:28
487K
minizinc_2.4.2-1build1.debian.tar.xz
24-Mar-2020 09:43
8.6K
minizinc_2.4.2-1build1.dsc
24-Mar-2020 09:43
1.8K
minizinc_2.4.2-1build1_amd64.deb
24-Mar-2020 11:12
1.4M
minizinc_2.4.2.orig.tar.gz
10-Jan-2020 17:13
1.5M
minizinc_2.5.3+dfsg1-1.debian.tar.xz
09-Dec-2020 23:23
8.8K
minizinc_2.5.3+dfsg1-1.dsc
09-Dec-2020 23:23
1.8K
minizinc_2.5.3+dfsg1-1_amd64.deb
09-Dec-2020 23:39
1.5M
minizinc_2.5.3+dfsg1.orig.tar.gz
09-Dec-2020 23:23
1.5M
minizinc_2.6.3+dfsg1-1.debian.tar.xz
29-May-2022 18:29
8.9K
minizinc_2.6.3+dfsg1-1.dsc
29-May-2022 18:29
1.8K
minizinc_2.6.3+dfsg1-1_amd64.deb
29-May-2022 19:24
2.0M
minizinc_2.6.3+dfsg1.orig.tar.gz
29-May-2022 18:29
1.7M
Apache/2.2.15 (CentOS) Server at ubuntu.les.net Port 80