Index of /pub/Linux/INSTALL/Debian/pool/main/g/gnome-shell-extensions
Name Last modified Size Description
Parent Directory -
gnome-shell-extensions_3.30.1-1.debian.tar.xz 2018-11-02 10:42 7.2K
gnome-shell-extensions_3.30.1-1.dsc 2018-11-02 10:42 2.1K
gnome-shell-extensions_3.30.1-1_all.deb 2018-11-02 12:14 164K
gnome-shell-extensions_3.30.1.orig.tar.xz 2018-11-02 10:42 194K
gnome-shell-extensions_3.38.2-1.debian.tar.xz 2020-12-03 14:10 8.3K
gnome-shell-extensions_3.38.2-1.dsc 2020-12-03 14:10 2.3K
gnome-shell-extensions_3.38.2-1_all.deb 2020-12-03 15:01 157K
gnome-shell-extensions_3.38.2.orig.tar.xz 2020-12-03 14:10 205K
gnome-shell-extensions_43.1-1.debian.tar.xz 2022-11-22 19:28 9.1K
gnome-shell-extensions_43.1-1.dsc 2022-11-22 19:28 2.1K
gnome-shell-extensions_43.1-1_all.deb 2022-11-22 19:58 157K
gnome-shell-extensions_43.1.orig.tar.xz 2022-11-22 19:28 212K
gnome-shell-extensions_46.2-3.debian.tar.xz 2024-08-01 13:00 9.4K
gnome-shell-extensions_46.2-3.dsc 2024-08-01 13:00 2.2K
gnome-shell-extensions_46.2-3_all.deb 2024-08-01 13:35 157K
gnome-shell-extensions_46.2.orig.tar.xz 2024-05-28 20:21 218K
gnome-shell-extensions_47~rc-1.debian.tar.xz 2024-09-04 14:29 9.5K
gnome-shell-extensions_47~rc-1.dsc 2024-09-04 14:29 2.2K
gnome-shell-extensions_47~rc-1_all.deb 2024-09-04 15:10 160K
gnome-shell-extensions_47~rc.orig.tar.xz 2024-09-04 14:29 220K