Index of /raspbian/pool/main/g/gnome-shell-extensions
Name
Last modified
Size
Description
Metadata
Parent Directory
-
gnome-shell-extensions_3.30.1-1.debian.tar.xz
02-Nov-2018 10:42
7.2K
Details
gnome-shell-extensions_3.30.1-1.dsc
02-Nov-2018 10:42
2.1K
Details
gnome-shell-extensions_3.30.1-1_all.deb
02-Nov-2018 12:14
164K
Details
gnome-shell-extensions_3.30.1.orig.tar.xz
02-Nov-2018 10:42
194K
Details
gnome-shell-extensions_3.38.2-1.debian.tar.xz
03-Dec-2020 14:10
8.3K
Details
gnome-shell-extensions_3.38.2-1.dsc
03-Dec-2020 14:10
2.3K
Details
gnome-shell-extensions_3.38.2-1_all.deb
03-Dec-2020 15:01
157K
Details
gnome-shell-extensions_3.38.2.orig.tar.xz
03-Dec-2020 14:10
205K
Details
gnome-shell-extensions_43.1-1.debian.tar.xz
22-Nov-2022 19:28
9.1K
Details
gnome-shell-extensions_43.1-1.dsc
22-Nov-2022 19:28
2.1K
Details
gnome-shell-extensions_43.1-1_all.deb
22-Nov-2022 19:58
157K
Details
gnome-shell-extensions_43.1.orig.tar.xz
22-Nov-2022 19:28
212K
Details
gnome-shell-extensions_46.2-3.debian.tar.xz
03-Aug-2024 04:41
9.4K
Details
gnome-shell-extensions_46.2-3.dsc
03-Aug-2024 04:41
2.2K
Details
gnome-shell-extensions_46.2-3_all.deb
01-Aug-2024 13:35
157K
Details
gnome-shell-extensions_46.2.orig.tar.xz
28-May-2024 20:21
218K
Details
Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.com Port 80
MirrorBrain
powered by
Apache