Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/g/gnome-shell-extensions/

Filename Modification time Size
gnome-shell-extensions_3.30.1-1.debian.tar.xz 7336 B
gnome-shell-extensions_3.30.1-1.dsc 2168 B
gnome-shell-extensions_3.30.1-1_all.deb 164 KiB
gnome-shell-extensions_3.30.1.orig.tar.xz 194 KiB
gnome-shell-extensions_3.38.2-1.debian.tar.xz 8448 B
gnome-shell-extensions_3.38.2-1.dsc 2336 B
gnome-shell-extensions_3.38.2-1_all.deb 157 KiB
gnome-shell-extensions_3.38.2.orig.tar.xz 205 KiB
gnome-shell-extensions_43.1-1.debian.tar.xz 9312 B
gnome-shell-extensions_43.1-1.dsc 2173 B
gnome-shell-extensions_43.1-1_all.deb 157 KiB
gnome-shell-extensions_43.1.orig.tar.xz 212 KiB
gnome-shell-extensions_46.2-3.debian.tar.xz 9672 B
gnome-shell-extensions_46.2-3.dsc 2256 B
gnome-shell-extensions_46.2-3_all.deb 157 KiB
gnome-shell-extensions_46.2.orig.tar.xz 218 KiB
gnome-shell-extensions_47~beta-1.debian.tar.xz 9764 B
gnome-shell-extensions_47~beta-1.dsc 2277 B
gnome-shell-extensions_47~beta-1_all.deb 159 KiB
gnome-shell-extensions_47~beta.orig.tar.xz 218 KiB