Index of /ubuntu/pool/universe/g/gnome-shell-extensions
Name
Last modified
Size
Description
Parent Directory
-
gnome-shell-extensio..>
2014-03-12 14:28
6.1K
gnome-shell-extensio..>
2014-03-12 14:28
2.5K
gnome-shell-extensio..>
2014-03-12 14:28
116K
gnome-shell-extensio..>
2014-01-16 18:33
195K
gnome-shell-extensio..>
2016-02-09 21:24
5.9K
gnome-shell-extensio..>
2016-02-09 21:24
2.4K
gnome-shell-extensio..>
2016-02-09 21:24
153K
gnome-shell-extensio..>
2016-01-14 21:09
228K
gnome-shell-extensio..>
2018-03-20 04:18
6.8K
gnome-shell-extensio..>
2018-03-20 04:18
2.1K
gnome-shell-extensio..>
2018-03-20 04:18
160K
gnome-shell-extensio..>
2018-03-15 18:39
194K
gnome-shell-extensio..>
2020-04-10 16:08
7.8K
gnome-shell-extensio..>
2020-04-10 16:08
2.3K
gnome-shell-extensio..>
2020-04-10 16:13
152K
gnome-shell-extensio..>
2020-04-10 16:08
203K
gnome-shell-extensio..>
2022-03-14 16:34
8.9K
gnome-shell-extensio..>
2022-03-14 16:34
2.2K
gnome-shell-extensio..>
2022-03-14 18:19
169K
gnome-shell-extensio..>
2022-03-14 16:34
213K
gnome-shell-extensio..>
2022-05-13 04:24
9.1K
gnome-shell-extensio..>
2022-05-13 04:24
2.4K
gnome-shell-extensio..>
2022-05-13 04:24
167K
gnome-shell-extensio..>
2022-05-09 10:34
212K
gnome-shell-extensio..>
2022-09-20 05:04
9.1K
gnome-shell-extensio..>
2022-09-20 05:04
2.2K
gnome-shell-extensio..>
2022-09-20 05:04
168K
gnome-shell-extensio..>
2022-09-20 05:04
213K
gnome-shell-extensio..>
2022-11-22 15:39
9.1K
gnome-shell-extensio..>
2022-11-22 15:39
2.1K
gnome-shell-extensio..>
2022-11-22 15:39
168K
gnome-shell-extensio..>
2022-11-22 15:39
212K