Filename Modification time Size gnome-shell-extension-manager_0.3.0-0ubuntu1.debian.tar.xz 2022-04-20 21:14 CEST 3320 B gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc 2022-04-20 21:14 CEST 2736 B gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb 2022-04-20 22:18 CEST 70 KiB gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz 2022-05-13 14:14 CEST 3648 B gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 2022-05-13 14:14 CEST 2744 B gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb 2022-05-13 14:15 CEST 88 KiB gnome-shell-extension-manager_0.3.0.orig.tar.gz 2022-04-20 21:14 CEST 1397 KiB gnome-shell-extension-manager_0.5.0-1build1.debian.tar.xz 2024-03-31 09:11 CEST 2724 B gnome-shell-extension-manager_0.5.0-1build1.dsc 2024-03-31 09:11 CEST 2534 B gnome-shell-extension-manager_0.5.0-1build1_amd64.deb 2024-03-31 21:33 CEST 159 KiB gnome-shell-extension-manager_0.5.0.orig.tar.gz 2024-03-23 02:52 CET 2194 KiB gnome-shell-extension-manager_0.5.1-5.debian.tar.xz 2024-09-28 10:14 CEST 5596 B gnome-shell-extension-manager_0.5.1-5.dsc 2024-09-28 10:14 CEST 2407 B gnome-shell-extension-manager_0.5.1-5_amd64.deb 2024-09-28 10:14 CEST 151 KiB gnome-shell-extension-manager_0.5.1.orig.tar.gz 2024-05-03 03:53 CEST 2195 KiB gnome-shell-extension-manager_0.6.0-1.debian.tar.xz 2024-12-14 18:55 CET 2888 B gnome-shell-extension-manager_0.6.0-1.dsc 2024-12-14 18:55 CET 2415 B gnome-shell-extension-manager_0.6.0-1_amd64.deb 2024-12-14 18:55 CET 181 KiB gnome-shell-extension-manager_0.6.0.orig.tar.gz 2024-12-14 18:55 CET 2387 KiB