Index of /ubuntu-ports/pool/universe/g/gnome-shell-extension-manager/

Index of /ubuntu-ports/pool/universe/g/gnome-shell-extension-manager/


../
gnome-shell-extension-manager_0.3.0-0ubuntu1.de..> 21-Apr-2022 02:14    3320
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc   21-Apr-2022 02:14    2736
gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 21-Apr-2022 03:18     68K
gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 21-Apr-2022 03:18     61K
gnome-shell-extension-manager_0.3.0-0ubuntu1_pp..> 21-Apr-2022 03:18     79K
gnome-shell-extension-manager_0.3.0-0ubuntu1_ri..> 21-Apr-2022 03:59     60K
gnome-shell-extension-manager_0.3.0-0ubuntu1_s3..> 21-Apr-2022 03:18     67K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1...> 13-May-2022 19:14    3648
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 13-May-2022 19:14    2744
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 19:15     86K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 19:15     79K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 19:15     97K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 19:15     79K
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 19:15     85K
gnome-shell-extension-manager_0.3.0.orig.tar.gz    21-Apr-2022 02:14      1M
gnome-shell-extension-manager_0.4.0-0ubuntu1.de..> 07-Oct-2022 02:18    4608
gnome-shell-extension-manager_0.4.0-0ubuntu1.dsc   07-Oct-2022 02:18    2736
gnome-shell-extension-manager_0.4.0-0ubuntu1_ar..> 07-Oct-2022 03:09     78K
gnome-shell-extension-manager_0.4.0-0ubuntu1_ar..> 07-Oct-2022 03:09     70K
gnome-shell-extension-manager_0.4.0-0ubuntu1_pp..> 07-Oct-2022 02:19     91K
gnome-shell-extension-manager_0.4.0-0ubuntu1_ri..> 07-Oct-2022 03:09     69K
gnome-shell-extension-manager_0.4.0-0ubuntu1_s3..> 07-Oct-2022 03:09     77K
gnome-shell-extension-manager_0.4.0-1.debian.ta..> 25-Jan-2023 08:49    4536
gnome-shell-extension-manager_0.4.0-1.dsc          25-Jan-2023 08:49    2421
gnome-shell-extension-manager_0.4.0-1_arm64.deb    25-Jan-2023 14:49     77K
gnome-shell-extension-manager_0.4.0-1_armhf.deb    25-Jan-2023 14:49     70K
gnome-shell-extension-manager_0.4.0-1_ppc64el.deb  25-Jan-2023 14:20     91K
gnome-shell-extension-manager_0.4.0-1_riscv64.deb  25-Jan-2023 09:59     69K
gnome-shell-extension-manager_0.4.0.orig.tar.gz    07-Oct-2022 02:18      1M