../ grub-pop-disable-splash_2.0.0~1582050224~21.10~..> 15-Sep-2021 18:40 1628 grub-theme-pop_2.0.0~1582050224~21.10~2ed8349_a..> 15-Sep-2021 18:40 906690 pop-grub-theme_2.0.0~1582050224~21.10~2ed8349.dsc 15-Sep-2021 18:40 1743 pop-grub-theme_2.0.0~1582050224~21.10~2ed8349.t..> 15-Sep-2021 18:40 789348