../ grub-splashimages_1.2.4.dsc 19-May-2023 19:46 1313 grub-splashimages_1.2.4.tar.xz 19-May-2023 19:46 648K grub-splashimages_1.2.4_all.deb 19-May-2023 20:01 648K