Index of /debian/pool/main/g/gnome-shell-extensions
Name
Last modified
Size
Description
Parent Directory
-
gnome-shell-extensions_47~beta.orig.tar.xz
2024-08-06 21:09
218K
gnome-shell-extensions_47~beta-1_all.deb
2024-08-06 21:44
159K
gnome-shell-extensions_47~beta-1.dsc
2024-08-06 21:09
2.2K
gnome-shell-extensions_47~beta-1.debian.tar.xz
2024-08-06 21:09
9.5K
gnome-shell-extensions_46.2.orig.tar.xz
2024-05-28 22:21
218K
gnome-shell-extensions_46.2-3_all.deb
2024-08-01 15:35
157K
gnome-shell-extensions_46.2-3.dsc
2024-08-01 15:00
2.2K
gnome-shell-extensions_46.2-3.debian.tar.xz
2024-08-01 15:00
9.4K
gnome-shell-extensions_43.1.orig.tar.xz
2022-11-22 20:28
212K
gnome-shell-extensions_43.1-1_all.deb
2022-11-22 20:58
157K
gnome-shell-extensions_43.1-1.dsc
2022-11-22 20:28
2.1K
gnome-shell-extensions_43.1-1.debian.tar.xz
2022-11-22 20:28
9.1K
gnome-shell-extensions_3.38.2.orig.tar.xz
2020-12-03 15:10
205K
gnome-shell-extensions_3.38.2-1_all.deb
2020-12-03 16:01
157K
gnome-shell-extensions_3.38.2-1.dsc
2020-12-03 15:10
2.3K
gnome-shell-extensions_3.38.2-1.debian.tar.xz
2020-12-03 15:10
8.3K
gnome-shell-extensions_3.30.1.orig.tar.xz
2018-11-02 11:42
194K
gnome-shell-extensions_3.30.1-1_all.deb
2018-11-02 13:14
164K
gnome-shell-extensions_3.30.1-1.dsc
2018-11-02 11:42
2.1K
gnome-shell-extensions_3.30.1-1.debian.tar.xz
2018-11-02 11:42
7.2K
Apache/2.4.61 (Debian) Server at ftp.bme.hu Port 443