Index of /raspbian/pool/main/g/grub-customizer
Name
Last modified
Size
Description
Metadata
Parent Directory
-
grub-customizer_5.2.2.orig.tar.gz.asc
09-Sep-2022 03:30
833
Details
grub-customizer_5.2.5.orig.tar.gz.asc
12-Jun-2024 14:21
833
Details
grub-customizer_5.1.0-1.dsc
13-Oct-2018 16:16
1.9K
Details
grub-customizer_5.1.0-3.dsc
19-Sep-2020 03:27
2.0K
Details
grub-customizer_5.2.2-2.dsc
07-Dec-2022 04:47
2.2K
Details
grub-customizer_5.2.5-1.dsc
12-Jun-2024 14:21
2.2K
Details
grub-customizer_5.1.0-1.debian.tar.xz
13-Oct-2018 16:16
2.8K
Details
grub-customizer_5.1.0-3.debian.tar.xz
19-Sep-2020 03:27
3.3K
Details
grub-customizer_5.2.2-2.debian.tar.xz
07-Dec-2022 04:47
6.6K
Details
grub-customizer_5.2.5-1.debian.tar.xz
12-Jun-2024 14:21
7.1K
Details
grub-customizer_5.1.0-1_armhf.deb
24-Nov-2018 16:08
538K
Details
grub-customizer_5.2.5.orig.tar.gz
12-Jun-2024 14:21
557K
Details
grub-customizer_5.2.2.orig.tar.gz
09-Sep-2022 03:30
560K
Details
grub-customizer_5.1.0.orig.tar.gz
13-Oct-2018 16:16
564K
Details
grub-customizer_5.1.0-3_armhf.deb
21-Sep-2020 10:08
571K
Details
grub-customizer_5.2.2-2_armhf.deb
12-Dec-2022 16:08
593K
Details
grub-customizer_5.2.5-1_armhf.deb
25-Aug-2024 16:08
650K
Details
Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80
MirrorBrain
powered by
Apache