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_amd64.deb 13-Oct-2018 16:16 635108 grub-customizer_5.1.0-1_arm64.deb 22-Nov-2018 15:57 591956 grub-customizer_5.1.0-1_i386.deb 22-Nov-2018 17:29 665296 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_amd64.deb 19-Sep-2020 04:12 676332 grub-customizer_5.1.0-3_arm64.deb 19-Sep-2020 04:12 626704 grub-customizer_5.1.0-3_i386.deb 19-Sep-2020 04:12 704312 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_amd64.deb 07-Dec-2022 05:12 696652 grub-customizer_5.2.2-2_arm64.deb 07-Dec-2022 05:27 638092 grub-customizer_5.2.2-2_i386.deb 07-Dec-2022 05:12 726816 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.5-1+b1_arm64.deb 30-Oct-2024 09:30 698564 grub-customizer_5.2.5-1.debian.tar.xz 12-Jun-2024 14:21 7228 grub-customizer_5.2.5-1.dsc 12-Jun-2024 14:21 2272 grub-customizer_5.2.5-1_amd64.deb 12-Jun-2024 15:01 752116 grub-customizer_5.2.5-1_i386.deb 12-Jun-2024 15:06 786588 grub-customizer_5.2.5.orig.tar.gz 12-Jun-2024 14:21 570517 grub-customizer_5.2.5.orig.tar.gz.asc 12-Jun-2024 14:21 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.