/pool/main/g/gnome-shell-extension-manager/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-shell-extension-manager_0.6.1.orig.tar.gz2.3 MiB2025-Jan-24 14:28
gnome-shell-extension-manager_0.6.1-1_armhf.deb156.2 KiB2025-Jan-29 11:08
gnome-shell-extension-manager_0.6.1-1.dsc2.4 KiB2025-Jan-24 14:28
gnome-shell-extension-manager_0.6.1-1.debian.tar.xz2.9 KiB2025-Jan-24 14:28
gnome-shell-extension-manager_0.4.0.orig.tar.gz1.4 MiB2023-Jan-24 19:11
gnome-shell-extension-manager_0.4.0-1_armhf.deb97.5 KiB2023-Feb-10 03:26
gnome-shell-extension-manager_0.4.0-1.dsc2.4 KiB2023-Jan-24 19:11
gnome-shell-extension-manager_0.4.0-1.debian.tar.xz4.4 KiB2023-Jan-24 19:11