Index of /ubuntu/ubuntu/pool/universe/g/gnome-shell-extensions

You're awesome. Have a mirror on us.

We love Linux, privacy, fast and affordable internet access, and working to fulfill our mission of internet freedom for all.

Name	Last modified	Size

Parent Directory		-
gnome-shell-extensions_3.10.1-0ubuntu2.debian.tar.gz	2014-03-12 14:28	6.1K
gnome-shell-extensions_3.10.1-0ubuntu2_all.deb	2014-03-12 14:28	116K
gnome-shell-extensions_3.10.1.orig.tar.xz	2014-01-16 18:33	195K
gnome-shell-extensions_3.18.3-2.debian.tar.xz	2016-02-09 21:24	5.9K
gnome-shell-extensions_3.18.3-2_all.deb	2016-02-09 21:24	153K
gnome-shell-extensions_3.18.3.orig.tar.xz	2016-01-14 21:09	228K
gnome-shell-extensions_3.28.0-2.debian.tar.xz	2018-03-20 04:18	6.8K
gnome-shell-extensions_3.28.0-2_all.deb	2018-03-20 04:18	160K
gnome-shell-extensions_3.28.0.orig.tar.xz	2018-03-15 18:39	194K
gnome-shell-extensions_3.36.1-1.debian.tar.xz	2020-04-10 16:08	7.8K
gnome-shell-extensions_3.36.1-1_all.deb	2020-04-10 16:13	152K
gnome-shell-extensions_3.36.1.orig.tar.xz	2020-04-10 16:08	203K
gnome-shell-extensions_42.0-1.debian.tar.xz	2022-03-14 16:34	8.9K
gnome-shell-extensions_42.0-1_all.deb	2022-03-14 18:19	169K
gnome-shell-extensions_42.0.orig.tar.xz	2022-03-14 16:34	213K
gnome-shell-extensions_42.1-0ubuntu1.debian.tar.xz	2022-05-13 04:24	9.1K
gnome-shell-extensions_42.1-0ubuntu1_all.deb	2022-05-13 04:24	167K
gnome-shell-extensions_42.1.orig.tar.xz	2022-05-09 10:34	212K
gnome-shell-extensions_44.0-1.debian.tar.xz	2023-03-27 10:15	9.2K
gnome-shell-extensions_44.0-1_all.deb	2023-03-27 10:15	171K
gnome-shell-extensions_44.0.orig.tar.xz	2023-03-27 10:15	212K
gnome-shell-extensions_45.0-1.debian.tar.xz	2023-09-18 10:04	9.3K
gnome-shell-extensions_45.0-1_all.deb	2023-09-18 10:04	152K
gnome-shell-extensions_45.0.orig.tar.xz	2023-09-18 10:04	197K
gnome-shell-extensions_46.1-2.debian.tar.xz	2024-04-24 04:44	9.3K
gnome-shell-extensions_46.1-2_all.deb	2024-04-24 04:44	160K
gnome-shell-extensions_46.1.orig.tar.xz	2024-04-22 00:03	203K