Index of
/debian/pool/main/g/gnome-shell-extension-manager
Name ↑
Last modified
Size
Description
Parent Directory
-
-
gnome-shell-extension-manager_0.4.0-1.debian.tar.xz
24-Jan-2023 18:11
4.4 KiB
gnome-shell-extension-manager_0.4.0-1.dsc
24-Jan-2023 18:11
2.4 KiB
gnome-shell-extension-manager_0.4.0-1_amd64.deb
24-Jan-2023 18:56
107 KiB
gnome-shell-extension-manager_0.4.0-1_i386.deb
24-Jan-2023 18:46
112 KiB
gnome-shell-extension-manager_0.4.0.orig.tar.gz
24-Jan-2023 18:11
1.4 MiB
gnome-shell-extension-manager_0.6.3-2.debian.tar.xz
03-May-2025 06:44
3.0 KiB
gnome-shell-extension-manager_0.6.3-2.dsc
03-May-2025 06:44
2.4 KiB
gnome-shell-extension-manager_0.6.3-2_amd64.deb
03-May-2025 07:19
178 KiB
gnome-shell-extension-manager_0.6.3-2_i386.deb
03-May-2025 07:19
185 KiB
gnome-shell-extension-manager_0.6.3.orig.tar.gz
07-Apr-2025 15:50
1.8 MiB
gnome-shell-extension-manager_0.6.5-2.debian.tar.xz
16-Jun-2026 17:46
3.0 KiB
gnome-shell-extension-manager_0.6.5-2.dsc
16-Jun-2026 17:46
2.3 KiB
gnome-shell-extension-manager_0.6.5-2_amd64.deb
16-Jun-2026 18:06
190 KiB
gnome-shell-extension-manager_0.6.5-2_i386.deb
16-Jun-2026 18:06
197 KiB
gnome-shell-extension-manager_0.6.5.orig.tar.gz
10-Oct-2025 20:58
1.8 MiB
pub.gotlandia.net —
0
directories
,
15
files