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


../
gnome-shell-extension-manager-dbgsym_0.4.2-1_sparc64.deb                                                                 17-Sep-2023 00:03    172K
gnome-shell-extension-manager_0.4.2-1_sparc64.buildinfo                                                                  17-Sep-2023 00:03     15K
gnome-shell-extension-manager_0.4.2-1_sparc64.deb                                                                        17-Sep-2023 00:03    102K