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_6.1.0-2_armhf.deb 18-Jan-2019 10:08 64764 flatzinc_6.2.0-5_armhf.deb 14-Aug-2020 10:08 74368 gecode_6.1.0-2.debian.tar.xz 12-Jan-2019 21:35 15760 gecode_6.1.0-2.dsc 12-Jan-2019 21:35 2156 gecode_6.1.0.orig.tar.gz 20-Oct-2018 14:07 3479369 gecode_6.2.0-5.debian.tar.xz 09-Aug-2020 06:13 16464 gecode_6.2.0-5.dsc 09-Aug-2020 06:13 2127 gecode_6.2.0.orig.tar.gz 16-Dec-2019 19:01 3672525 libgecode-dev_6.1.0-2_armhf.deb 18-Jan-2019 10:08 507600 libgecode-dev_6.2.0-5_armhf.deb 14-Aug-2020 10:08 512760 libgecode-doc_6.1.0-2_all.deb 12-Jan-2019 21:35 10859124 libgecode-doc_6.2.0-5_all.deb 09-Aug-2020 06:38 11069352 libgecode48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 2133984 libgecode49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 2173148 libgecodeflatzinc48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 214840 libgecodeflatzinc49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 225628 libgecodegist48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 152080 libgecodegist49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 152404
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.