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_2.0.11+dfsg1-1.debian.tar.xz 17-Jan-2016 23:14 9164 minizinc_2.0.11+dfsg1-1.dsc 17-Jan-2016 23:14 1797 minizinc_2.0.11+dfsg1-1_arm64.deb 17-Jan-2016 23:45 1027424 minizinc_2.0.11+dfsg1-1_armhf.deb 17-Jan-2016 23:46 995738 minizinc_2.0.11+dfsg1.orig.tar.gz 17-Jan-2016 23:14 446388 minizinc_2.1.7+dfsg1-1.debian.tar.xz 23-Jan-2018 23:28 9436 minizinc_2.1.7+dfsg1-1.dsc 23-Jan-2018 23:28 1807 minizinc_2.1.7+dfsg1-1_arm64.deb 23-Jan-2018 23:29 1617700 minizinc_2.1.7+dfsg1-1_armhf.deb 23-Jan-2018 23:29 1580088 minizinc_2.1.7+dfsg1.orig.tar.xz 23-Jan-2018 23:28 498588 minizinc_2.4.2-1build1.debian.tar.xz 24-Mar-2020 14:43 8800 minizinc_2.4.2-1build1.dsc 24-Mar-2020 14:43 1847 minizinc_2.4.2-1build1_arm64.deb 24-Mar-2020 19:15 1264844 minizinc_2.4.2-1build1_armhf.deb 24-Mar-2020 19:16 1269576 minizinc_2.4.2.orig.tar.gz 10-Jan-2020 23:13 1535346 minizinc_2.5.3+dfsg1-1.debian.tar.xz 10-Dec-2020 05:23 9020 minizinc_2.5.3+dfsg1-1.dsc 10-Dec-2020 05:23 1840 minizinc_2.5.3+dfsg1-1_arm64.deb 10-Dec-2020 05:39 1359892 minizinc_2.5.3+dfsg1-1_armhf.deb 10-Dec-2020 05:39 1350224 minizinc_2.5.3+dfsg1.orig.tar.gz 10-Dec-2020 05:23 1622012 minizinc_2.8.2+dfsg1-1build2.debian.tar.xz 01-Apr-2024 08:00 11068 minizinc_2.8.2+dfsg1-1build2.dsc 01-Apr-2024 08:00 1901 minizinc_2.8.2+dfsg1-1build2_arm64.deb 01-Apr-2024 21:01 2149718 minizinc_2.8.2+dfsg1-1build2_armhf.deb 01-Apr-2024 21:02 2135562 minizinc_2.8.2+dfsg1.orig.tar.gz 01-Jan-2024 23:31 1881556 minizinc_2.8.5+dfsg1-2.debian.tar.xz 10-Sep-2024 10:52 11628 minizinc_2.8.5+dfsg1-2.dsc 10-Sep-2024 10:52 1850 minizinc_2.8.5+dfsg1-2_arm64.deb 10-Sep-2024 13:27 2292092 minizinc_2.8.5+dfsg1-2_armhf.deb 10-Sep-2024 13:27 2295312 minizinc_2.8.5+dfsg1.orig.tar.xz 10-Sep-2024 10:52 980040 minizinc_2.8.7+dfsg1-1.debian.tar.xz 31-Oct-2024 19:11 11672 minizinc_2.8.7+dfsg1-1.dsc 31-Oct-2024 19:11 1851 minizinc_2.8.7+dfsg1-1_arm64.deb 31-Oct-2024 21:11 2303538 minizinc_2.8.7+dfsg1-1_armhf.deb 31-Oct-2024 21:20 2308992 minizinc_2.8.7+dfsg1.orig.tar.xz 31-Oct-2024 19:11 985720
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.