The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/m/minizinc-ide/

../
minizinc-ide_2.0.10-1.debian.tar.xz                03-Jan-2016 05:14                8540
minizinc-ide_2.0.10-1.dsc                          03-Jan-2016 05:14                1759
minizinc-ide_2.0.10-1_arm64.deb                    03-Jan-2016 05:29              268668
minizinc-ide_2.0.10-1_armhf.deb                    03-Jan-2016 05:29              264234
minizinc-ide_2.0.10.orig.tar.gz                    03-Jan-2016 05:14              415324
minizinc-ide_2.1.7-1.debian.tar.xz                 23-Jan-2018 23:28                8956
minizinc-ide_2.1.7-1.dsc                           23-Jan-2018 23:28                1769
minizinc-ide_2.1.7-1_arm64.deb                     23-Jan-2018 23:29              240528
minizinc-ide_2.1.7-1_armhf.deb                     23-Jan-2018 23:29              229688
minizinc-ide_2.1.7.orig.tar.gz                     23-Jan-2018 23:28              215504
minizinc-ide_2.4.2-2build1.debian.tar.xz           22-Mar-2020 17:10                8852
minizinc-ide_2.4.2-2build1.dsc                     22-Mar-2020 17:10                1812
minizinc-ide_2.4.2-2build1_arm64.deb               22-Mar-2020 20:56              508164
minizinc-ide_2.4.2-2build1_armhf.deb               22-Mar-2020 20:56              502068
minizinc-ide_2.4.2.orig.tar.gz                     10-Jan-2020 23:13              480006
minizinc-ide_2.5.3-1.debian.tar.xz                 10-Dec-2020 05:23               13040
minizinc-ide_2.5.3-1.dsc                           10-Dec-2020 05:23                1766
minizinc-ide_2.5.3-1_arm64.deb                     10-Dec-2020 05:39              713028
minizinc-ide_2.5.3-1_armhf.deb                     10-Dec-2020 05:39              717564
minizinc-ide_2.5.3.orig.tar.gz                     10-Dec-2020 05:23              798423
minizinc-ide_2.8.2-1build2.debian.tar.xz           01-Apr-2024 08:00               13408
minizinc-ide_2.8.2-1build2.dsc                     01-Apr-2024 08:00                1892
minizinc-ide_2.8.2-1build2_arm64.deb               01-Apr-2024 21:02              871622
minizinc-ide_2.8.2-1build2_armhf.deb               01-Apr-2024 20:03              888998
minizinc-ide_2.8.2.orig.tar.gz                     01-Jan-2024 23:31              835086
minizinc-ide_2.8.5-1.debian.tar.xz                 31-Oct-2024 19:11                9128
minizinc-ide_2.8.5-1.dsc                           31-Oct-2024 19:11                1810
minizinc-ide_2.8.5-1_arm64.deb                     31-Oct-2024 21:11              877782
minizinc-ide_2.8.5-1_armhf.deb                     31-Oct-2024 21:20              898378
minizinc-ide_2.8.5.orig.tar.gz                     31-Oct-2024 19:11              835165

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.