../ grub-pop-disable-splash_2.0.0~1582050224~21.10~..> 11-Sep-2023 21:31 1628 grub-theme-pop_2.0.0~1582050224~21.10~2ed8349_a..> 11-Sep-2023 21:31 906690 pop-grub-theme_2.0.0~1582050224~21.10~2ed8349.dsc 11-Sep-2023 21:31 1743 pop-grub-theme_2.0.0~1582050224~21.10~2ed8349.t..> 11-Sep-2023 21:31 789348