../ grub-pop-disable-splash_2.0.0~1582050224~22.04~..> 11-Sep-2023 21:31 4842 grub-theme-pop_2.0.0~1582050224~22.04~2ed8349_a..> 11-Sep-2023 21:31 948082 pop-grub-theme_2.0.0~1582050224~22.04~2ed8349.dsc 11-Sep-2023 21:31 1743 pop-grub-theme_2.0.0~1582050224~22.04~2ed8349.t..> 11-Sep-2023 21:31 790620