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.

Index of /debian/pool/main/g/grub-customizer/

../
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.3-1+b1_amd64.deb               09-Mar-2024 19:17              691884
grub-customizer_5.2.3-1+b1_arm64.deb               09-Mar-2024 15:10              634376
grub-customizer_5.2.3-1+b1_i386.deb                09-Mar-2024 18:12              723116
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_amd64.deb                  16-Jun-2023 09:26              684608
grub-customizer_5.2.3-1_arm64.deb                  16-Jun-2023 11:53              618460
grub-customizer_5.2.3-1_i386.deb                   16-Jun-2023 09:26              714452
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.