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.
../ 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.6.3-1.debian.tar.xz 29-May-2022 23:29 13224 minizinc-ide_2.6.3-1.dsc 29-May-2022 23:29 1789 minizinc-ide_2.6.3-1_arm64.deb 30-May-2022 00:24 848360 minizinc-ide_2.6.3-1_armhf.deb 30-May-2022 00:24 853194 minizinc-ide_2.6.3.orig.tar.gz 29-May-2022 23:29 827264 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
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.