Index of /ubuntu-old-releases/ubuntu/pool/universe/g/gnome-shell-extension-manager/
../
gnome-shell-extension-manager_0.4.0-0ubuntu1.de..> 06-Oct-2022 19:18 4608
gnome-shell-extension-manager_0.4.0-0ubuntu1.dsc 06-Oct-2022 19:18 2736
gnome-shell-extension-manager_0.4.0-0ubuntu1_am..> 06-Oct-2022 19:19 81244
gnome-shell-extension-manager_0.4.0-0ubuntu1_ar..> 06-Oct-2022 20:09 79542
gnome-shell-extension-manager_0.4.0-0ubuntu1_ar..> 06-Oct-2022 20:09 71734
gnome-shell-extension-manager_0.4.0-0ubuntu1_pp..> 06-Oct-2022 19:19 93348
gnome-shell-extension-manager_0.4.0-0ubuntu1_ri..> 06-Oct-2022 20:09 70268
gnome-shell-extension-manager_0.4.0-0ubuntu1_s3..> 06-Oct-2022 20:09 78566
gnome-shell-extension-manager_0.4.0.orig.tar.gz 06-Oct-2022 19:18 1476951