../ grub-pop-disable-splash_2.0.0~1582050224~24.04~..> 01-Feb-2024 00:36 1896 grub-theme-pop_2.0.0~1582050224~24.04~2ed8349_a..> 01-Feb-2024 00:36 911080 pop-grub-theme_2.0.0~1582050224~24.04~2ed8349.dsc 01-Feb-2024 00:36 1743 pop-grub-theme_2.0.0~1582050224~24.04~2ed8349.t..> 01-Feb-2024 00:36 791288