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.
../ gringo_5.3.0-10+rpi1.debian.tar.xz 14-Mar-2019 21:28 18612 gringo_5.3.0-10+rpi1.dsc 14-Mar-2019 21:28 1237 gringo_5.3.0-10+rpi1_armhf.deb 14-Mar-2019 21:28 1938072 gringo_5.3.0.orig.tar.gz 11-Nov-2018 17:41 2684848 gringo_5.4.1-3+rpi1.debian.tar.xz 30-Dec-2020 20:04 24348 gringo_5.4.1-3+rpi1.dsc 30-Dec-2020 20:04 2297 gringo_5.4.1-3+rpi1_armhf.deb 30-Dec-2020 20:04 1555684 gringo_5.4.1-3.1+rpi1+b1_armhf.deb 26-Feb-2023 20:11 1536476 gringo_5.4.1-3.1+rpi1.debian.tar.xz 16-Dec-2022 10:08 26452 gringo_5.4.1-3.1+rpi1.dsc 16-Dec-2022 10:08 2302 gringo_5.4.1.orig.tar.gz 27-Dec-2020 15:25 2822845 gringo_5.6.2-1.debian.tar.xz 12-Feb-2024 09:07 24572 gringo_5.6.2-1.dsc 12-Feb-2024 09:07 2117 gringo_5.6.2-1_armhf.deb 14-Feb-2024 16:08 1693000 gringo_5.6.2.orig.tar.gz 12-Feb-2024 09:07 5079018
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.