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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gnome-shell-extension-manager-dbgsym_0.4.2-1_hurd-i386.deb2023-08-31 00:03 147K 
[   ]gnome-shell-extension-manager_0.4.2-1_hurd-i386.deb2023-08-31 00:03 115K 
[   ]gnome-shell-extension-manager_0.4.2-1_hurd-i386.buildinfo2023-08-31 00:03 13K