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