Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/universe/g/gnome-shell-extension-manager/

Filename Modification time Size
gnome-shell-extension-manager_0.3.0-0ubuntu1.debian.tar.xz 3320 B
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc 2736 B
gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb 70 KiB
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz 3648 B
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 2744 B
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb 88 KiB
gnome-shell-extension-manager_0.3.0.orig.tar.gz 1397 KiB
gnome-shell-extension-manager_0.5.0-1build1.debian.tar.xz 2724 B
gnome-shell-extension-manager_0.5.0-1build1.dsc 2534 B
gnome-shell-extension-manager_0.5.0-1build1_amd64.deb 159 KiB
gnome-shell-extension-manager_0.5.0.orig.tar.gz 2194 KiB
gnome-shell-extension-manager_0.5.1-5.debian.tar.xz 5596 B
gnome-shell-extension-manager_0.5.1-5.dsc 2407 B
gnome-shell-extension-manager_0.5.1-5_amd64.deb 151 KiB
gnome-shell-extension-manager_0.5.1.orig.tar.gz 2195 KiB
gnome-shell-extension-manager_0.6.0-1.debian.tar.xz 2888 B
gnome-shell-extension-manager_0.6.0-1.dsc 2415 B
gnome-shell-extension-manager_0.6.0-1_amd64.deb 181 KiB
gnome-shell-extension-manager_0.6.0.orig.tar.gz 2387 KiB