| Parent directory/ | - | - |
| gnome-shell-extension-prefs_42.9-0ubuntu2.1_amd64.deb | 9.0 KiB | 2024-May-09 15:06 |
| gnome-shell-extension-prefs_3.36.9-0ubuntu0.20.04.3_amd64.deb | 6.4 KiB | 2023-Dec-14 23:37 |
| gnome-shell-extension-prefs_42.9-0ubuntu2_amd64.deb | 8.9 KiB | 2023-Jun-24 02:04 |
| gnome-shell-extension-prefs_42.0-2ubuntu1_amd64.deb | 8.8 KiB | 2022-Apr-13 10:14 |
| gnome-shell-extension-prefs_3.36.4-1ubuntu1~20.04.2_amd64.deb | 6.2 KiB | 2020-Aug-18 13:18 |
| gnome-shell-extension-prefs_3.36.1-5ubuntu1_amd64.deb | 5.5 KiB | 2020-Apr-15 17:03 |
| gnome-shell_3.18.5-0ubuntu0.3_amd64.deb | 606.6 KiB | 2017-May-29 16:38 |
| gnome-shell-dbg_3.18.5-0ubuntu0.3_amd64.deb | 956.8 KiB | 2017-May-29 16:38 |
| gnome-shell-common_3.18.5-0ubuntu0.3_all.deb | 594.9 KiB | 2017-May-29 16:38 |
| gnome-shell_3.18.4-0ubuntu3_amd64.deb | 606.2 KiB | 2016-Apr-14 09:55 |
| gnome-shell-common_3.18.4-0ubuntu3_all.deb | 595.0 KiB | 2016-Apr-14 09:55 |
| gnome-shell-dbg_3.18.4-0ubuntu3_amd64.deb | 957.2 KiB | 2016-Apr-14 09:55 |
