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_amd64.deb 03-Jan-2016 05:28 281702 minizinc-ide_2.0.10-1_i386.deb 03-Jan-2016 05:14 292276 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_amd64.deb 23-Jan-2018 23:28 252076 minizinc-ide_2.1.7-1_i386.deb 23-Jan-2018 23:29 268416 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_amd64.deb 22-Mar-2020 18:00 541712 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_amd64.deb 10-Dec-2020 05:39 772668 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_amd64.deb 01-Apr-2024 23:02 909930 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_amd64.deb 31-Oct-2024 20:59 944830 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.