../ grub-pop-disable-splash_2.0.0~1582050224~22.04~..> 23-Jan-2022 12:58 4842 grub-theme-pop_2.0.0~1582050224~22.04~2ed8349_a..> 23-Jan-2022 12:58 948082 pop-grub-theme_2.0.0~1582050224~22.04~2ed8349.dsc 23-Jan-2022 12:58 1743 pop-grub-theme_2.0.0~1582050224~22.04~2ed8349.t..> 23-Jan-2022 12:58 790620