Index of /pulp/content/sources/debian/pool/g/grub2/

../
grub2_2.12-9+deb13u2.debian.tar.xz                                                                  25-Oct-2026 21:48  1.1 MB
grub2_2.12-9+deb13u2.dsc                                                                            25-Oct-2026 21:48  8.1 kB
grub2_2.12.orig.tar.xz                                                                              25-Oct-2026 21:48  6.7 MB