Index of /debian/pool/main/g/gnome-shell-extension-manager

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                         -   
[   ] gnome-shell-extension-manager_0.2.3-2.debian.tar.xz 2022-03-30 18:23  2.6K  
[TXT] gnome-shell-extension-manager_0.2.3-2.dsc           2022-03-30 18:23  2.3K  
[   ] gnome-shell-extension-manager_0.2.3-2_amd64.deb     2022-03-30 19:44   63K  
[   ] gnome-shell-extension-manager_0.2.3-2_arm64.deb     2022-03-30 19:29   60K  
[   ] gnome-shell-extension-manager_0.2.3-2_i386.deb      2022-03-30 19:09   65K  
[   ] gnome-shell-extension-manager_0.2.3.orig.tar.gz     2022-03-18 19:17  1.3M