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.
../ flatzinc_4.2.1-1_arm64.deb 20-Nov-2013 13:58 21526 flatzinc_4.2.1-1_armhf.deb 20-Nov-2013 13:58 19886 flatzinc_4.4.0-3_arm64.deb 25-Oct-2015 02:19 22496 flatzinc_4.4.0-3_armhf.deb 25-Oct-2015 00:54 21084 flatzinc_5.1.0-2build1_arm64.deb 24-Jan-2018 23:34 15480 flatzinc_5.1.0-2build1_armhf.deb 24-Jan-2018 23:34 13768 flatzinc_6.2.0-3build1_arm64.deb 24-Mar-2020 18:19 24260 flatzinc_6.2.0-3build1_armhf.deb 24-Mar-2020 18:19 22244 flatzinc_6.2.0-5.1build3_arm64.deb 12-Apr-2024 05:59 23212 flatzinc_6.2.0-5.1build3_armhf.deb 12-Apr-2024 06:00 22380 flatzinc_6.2.0-5_arm64.deb 09-Aug-2020 12:28 24144 flatzinc_6.2.0-5_armhf.deb 09-Aug-2020 12:28 22468 gecode_4.2.1-1.debian.tar.gz 20-Nov-2013 05:18 12575 gecode_4.2.1-1.dsc 20-Nov-2013 05:18 2053 gecode_4.2.1.orig.tar.gz 20-Nov-2013 05:18 1898037 gecode_4.4.0-3.debian.tar.xz 24-Oct-2015 23:09 12368 gecode_4.4.0-3.dsc 24-Oct-2015 23:09 2094 gecode_4.4.0.orig.tar.gz 07-May-2015 05:59 2888696 gecode_5.1.0-2build1.debian.tar.xz 24-Jan-2018 22:58 14460 gecode_5.1.0-2build1.dsc 24-Jan-2018 22:58 2172 gecode_5.1.0.orig.tar.gz 25-Jul-2017 17:08 3213603 gecode_6.2.0-3build1.debian.tar.xz 24-Mar-2020 14:43 16264 gecode_6.2.0-3build1.dsc 24-Mar-2020 14:43 2205 gecode_6.2.0-5.1build3.debian.tar.xz 12-Apr-2024 05:59 16856 gecode_6.2.0-5.1build3.dsc 12-Apr-2024 05:59 2315 gecode_6.2.0-5.debian.tar.xz 09-Aug-2020 11:18 16464 gecode_6.2.0-5.dsc 09-Aug-2020 11:18 2127 gecode_6.2.0-6.debian.tar.xz 28-Aug-2024 18:53 20004 gecode_6.2.0-6.dsc 28-Aug-2024 18:53 2122 gecode_6.2.0.orig.tar.gz 10-Jan-2020 23:13 3672525 libgecode-dev_4.2.1-1_arm64.deb 20-Nov-2013 13:58 455414 libgecode-dev_4.2.1-1_armhf.deb 20-Nov-2013 13:58 455796 libgecode-dev_4.4.0-3_arm64.deb 25-Oct-2015 02:19 463464 libgecode-dev_4.4.0-3_armhf.deb 25-Oct-2015 00:54 463818 libgecode-dev_5.1.0-2build1_arm64.deb 24-Jan-2018 23:34 437588 libgecode-dev_5.1.0-2build1_armhf.deb 24-Jan-2018 23:34 437584 libgecode-dev_6.2.0-3build1_arm64.deb 24-Mar-2020 18:19 461792 libgecode-dev_6.2.0-3build1_armhf.deb 24-Mar-2020 18:19 461796 libgecode-dev_6.2.0-5.1build3_arm64.deb 12-Apr-2024 05:59 462076 libgecode-dev_6.2.0-5.1build3_armhf.deb 12-Apr-2024 06:00 462084 libgecode-dev_6.2.0-5_arm64.deb 09-Aug-2020 12:28 462160 libgecode-dev_6.2.0-5_armhf.deb 09-Aug-2020 12:28 462168 libgecode-dev_6.2.0-6_arm64.deb 28-Aug-2024 18:53 462152 libgecode-dev_6.2.0-6_armhf.deb 28-Aug-2024 18:53 462156 libgecode-doc_4.2.1-1_all.deb 20-Nov-2013 13:58 8752460 libgecode-doc_4.4.0-3_all.deb 24-Oct-2015 23:36 10318550 libgecode-doc_5.1.0-2build1_all.deb 24-Jan-2018 23:34 10282080 libgecode-doc_6.2.0-3build1_all.deb 24-Mar-2020 16:11 11004280 libgecode-doc_6.2.0-5.1build3_all.deb 12-Apr-2024 05:59 11526664 libgecode-doc_6.2.0-5_all.deb 09-Aug-2020 11:33 11026816 libgecode-doc_6.2.0-6_all.deb 28-Aug-2024 18:53 11522300 libgecode36_4.2.1-1_arm64.deb 20-Nov-2013 13:58 1639296 libgecode36_4.2.1-1_armhf.deb 20-Nov-2013 13:58 1826236 libgecode41v5_4.4.0-3_arm64.deb 25-Oct-2015 02:19 1730014 libgecode41v5_4.4.0-3_armhf.deb 25-Oct-2015 00:54 1859534 libgecode44_5.1.0-2build1_arm64.deb 24-Jan-2018 23:34 2136588 libgecode44_5.1.0-2build1_armhf.deb 24-Jan-2018 23:34 1985972 libgecode49_6.2.0-3build1_arm64.deb 24-Mar-2020 18:19 2313876 libgecode49_6.2.0-3build1_armhf.deb 24-Mar-2020 18:19 2311504 libgecode49_6.2.0-5_arm64.deb 09-Aug-2020 12:28 2351232 libgecode49_6.2.0-5_armhf.deb 09-Aug-2020 12:28 2302056 libgecode49t64_6.2.0-5.1build3_arm64.deb 12-Apr-2024 05:59 2434884 libgecode49t64_6.2.0-5.1build3_armhf.deb 12-Apr-2024 06:00 2487396 libgecode49t64_6.2.0-6_arm64.deb 28-Aug-2024 18:53 2548800 libgecode49t64_6.2.0-6_armhf.deb 28-Aug-2024 18:53 2553872 libgecodeflatzinc36_4.2.1-1_arm64.deb 20-Nov-2013 13:58 147666 libgecodeflatzinc36_4.2.1-1_armhf.deb 20-Nov-2013 13:58 144838 libgecodeflatzinc41v5_4.4.0-3_arm64.deb 25-Oct-2015 02:19 151622 libgecodeflatzinc41v5_4.4.0-3_armhf.deb 25-Oct-2015 00:54 150534 libgecodeflatzinc44_5.1.0-2build1_arm64.deb 24-Jan-2018 23:34 166016 libgecodeflatzinc44_5.1.0-2build1_armhf.deb 24-Jan-2018 23:34 157672 libgecodeflatzinc49_6.2.0-3build1_arm64.deb 24-Mar-2020 18:19 185848 libgecodeflatzinc49_6.2.0-3build1_armhf.deb 24-Mar-2020 18:19 187404 libgecodeflatzinc49_6.2.0-5_arm64.deb 09-Aug-2020 12:28 183728 libgecodeflatzinc49_6.2.0-5_armhf.deb 09-Aug-2020 12:28 177340 libgecodeflatzinc49t64_6.2.0-5.1build3_arm64.deb 12-Apr-2024 05:59 179224 libgecodeflatzinc49t64_6.2.0-5.1build3_armhf.deb 12-Apr-2024 06:00 187036 libgecodeflatzinc49t64_6.2.0-6_arm64.deb 28-Aug-2024 18:53 182064 libgecodeflatzinc49t64_6.2.0-6_armhf.deb 28-Aug-2024 18:53 190656 libgecodegist36_4.2.1-1_arm64.deb 20-Nov-2013 13:58 106844 libgecodegist36_4.2.1-1_armhf.deb 20-Nov-2013 13:58 100018 libgecodegist41v5_4.4.0-3_arm64.deb 25-Oct-2015 02:19 109750 libgecodegist41v5_4.4.0-3_armhf.deb 25-Oct-2015 00:54 104062 libgecodegist44_5.1.0-2build1_arm64.deb 24-Jan-2018 23:34 110964 libgecodegist44_5.1.0-2build1_armhf.deb 24-Jan-2018 23:34 102792 libgecodegist49_6.2.0-3build1_arm64.deb 24-Mar-2020 18:19 108944 libgecodegist49_6.2.0-3build1_armhf.deb 24-Mar-2020 18:19 103208 libgecodegist49_6.2.0-5_arm64.deb 09-Aug-2020 12:28 109364 libgecodegist49_6.2.0-5_armhf.deb 09-Aug-2020 12:28 102240 libgecodegist49t64_6.2.0-5.1build3_arm64.deb 12-Apr-2024 05:59 108948 libgecodegist49t64_6.2.0-5.1build3_armhf.deb 12-Apr-2024 06:00 103048 libgecodegist49t64_6.2.0-6_arm64.deb 28-Aug-2024 18:53 108964 libgecodegist49t64_6.2.0-6_armhf.deb 28-Aug-2024 18:53 103644
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.