Index of /pub/linux/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 19:42 7.2K
gnome-shell-extensions_3.30.1-1.dsc 2018-11-02 19:42 2.1K
gnome-shell-extensions_3.30.1-1_all.deb 2018-11-02 21:14 164K
gnome-shell-extensions_3.30.1.orig.tar.xz 2018-11-02 19:42 194K
gnome-shell-extensions_3.38.2-1.debian.tar.xz 2020-12-03 23:10 8.3K
gnome-shell-extensions_3.38.2-1.dsc 2020-12-03 23:10 2.3K
gnome-shell-extensions_3.38.2-1_all.deb 2020-12-04 00:01 157K
gnome-shell-extensions_3.38.2.orig.tar.xz 2020-12-03 23:10 205K
gnome-shell-extensions_43.1-1.debian.tar.xz 2022-11-23 04:28 9.1K
gnome-shell-extensions_43.1-1.dsc 2022-11-23 04:28 2.1K
gnome-shell-extensions_43.1-1_all.deb 2022-11-23 04:58 157K
gnome-shell-extensions_43.1.orig.tar.xz 2022-11-23 04:28 212K
gnome-shell-extensions_44.0-2.debian.tar.xz 2023-08-21 08:43 9.2K
gnome-shell-extensions_44.0-2.dsc 2023-08-21 08:43 2.3K
gnome-shell-extensions_44.0-2_all.deb 2023-08-21 09:14 158K
gnome-shell-extensions_44.0.orig.tar.xz 2023-03-27 22:04 212K
gnome-shell-extensions_46.2-1.debian.tar.xz 2024-05-29 05:21 9.3K
gnome-shell-extensions_46.2-1.dsc 2024-05-29 05:21 2.2K
gnome-shell-extensions_46.2-1_all.deb 2024-05-29 05:57 157K
gnome-shell-extensions_46.2.orig.tar.xz 2024-05-29 05:21 218K