Index of /nova/pool/principal/g/gnome-shell/

../
gnome-shell-common_3.28.3-0ubuntu0.18.04.3nova5..> 11-Jun-2020 06:37              634756
gnome-shell-common_3.36.2-1ubuntu1~20.04.1nova1..> 08-Jul-2021 14:51              725772
gnome-shell-common_42.5-0ubuntu1nova7_all.deb      04-Apr-2023 13:36              956562
gnome-shell-extension-prefs_3.36.2-1ubuntu1~20...> 08-Jul-2021 14:51               50252
gnome-shell-extension-prefs_42.5-0ubuntu1nova7_..> 04-Apr-2023 13:36               64916
gnome-shell_3.28.3-0ubuntu0.18.04.3nova5.debian..> 11-Jun-2020 06:32              156872
gnome-shell_3.28.3-0ubuntu0.18.04.3nova5.dsc       11-Jun-2020 06:32                3465
gnome-shell_3.28.3-0ubuntu0.18.04.3nova5_amd64.deb 11-Jun-2020 06:33              719556
gnome-shell_3.28.3-0ubuntu0.18.04.3nova5_i386.deb  11-Jun-2020 06:36              739896
gnome-shell_3.28.3.orig.tar.xz                     11-Jun-2020 06:32             1433388
gnome-shell_3.36.2-1ubuntu1~20.04.1nova1.6.debi..> 08-Jul-2021 14:51               56640
gnome-shell_3.36.2-1ubuntu1~20.04.1nova1.6.dsc     08-Jul-2021 14:51                3006
gnome-shell_3.36.2-1ubuntu1~20.04.1nova1.6_amd6..> 08-Jul-2021 14:51              819380
gnome-shell_3.36.2.orig.tar.xz                     22-Jun-2020 19:30             1769088
gnome-shell_42.5-0ubuntu1nova7.debian.tar.xz       04-Apr-2023 13:29               83016
gnome-shell_42.5-0ubuntu1nova7.dsc                 04-Apr-2023 13:29                3198
gnome-shell_42.5-0ubuntu1nova7_amd64.deb           04-Apr-2023 13:36              927714
gnome-shell_42.5.orig.tar.xz                       17-Nov-2022 12:02             1930668