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.
../ grub-customizer_5.1.0-1.debian.tar.xz 13-Oct-2018 16:16 2888 grub-customizer_5.1.0-1.dsc 13-Oct-2018 16:16 1985 grub-customizer_5.1.0-1_armhf.deb 24-Nov-2018 16:08 551400 grub-customizer_5.1.0-3.debian.tar.xz 19-Sep-2020 03:27 3392 grub-customizer_5.1.0-3.dsc 19-Sep-2020 03:27 2023 grub-customizer_5.1.0-3_armhf.deb 21-Sep-2020 10:08 584320 grub-customizer_5.1.0.orig.tar.gz 13-Oct-2018 16:16 578046 grub-customizer_5.2.2-2.debian.tar.xz 07-Dec-2022 04:47 6724 grub-customizer_5.2.2-2.dsc 07-Dec-2022 04:47 2247 grub-customizer_5.2.2-2_armhf.deb 12-Dec-2022 16:08 607308 grub-customizer_5.2.2.orig.tar.gz 09-Sep-2022 03:30 573650 grub-customizer_5.2.2.orig.tar.gz.asc 09-Sep-2022 03:30 833 grub-customizer_5.2.3-1.debian.tar.xz 16-Jun-2023 08:10 7192 grub-customizer_5.2.3-1.dsc 16-Jun-2023 08:10 2247 grub-customizer_5.2.3-1_armhf.deb 20-Sep-2023 10:08 607708 grub-customizer_5.2.3.orig.tar.gz 16-Jun-2023 08:10 573770 grub-customizer_5.2.3.orig.tar.gz.asc 16-Jun-2023 08:10 833
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.