The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

../
gnome-shell-extension-manager_0.3.0-0ubuntu1.de..> 20-Apr-2022 19:14                3320
gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc   20-Apr-2022 19:14                2736
gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 20-Apr-2022 20:18               69450
gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 20-Apr-2022 20:18               62020
gnome-shell-extension-manager_0.3.0-0ubuntu2.1...> 13-May-2022 12:14                3648
gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 13-May-2022 12:14                2744
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 12:15               88414
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 13-May-2022 12:15               81216
gnome-shell-extension-manager_0.3.0.orig.tar.gz    20-Apr-2022 19:14             1431028
gnome-shell-extension-manager_0.4.0-1.debian.ta..> 25-Jan-2023 01:49                4536
gnome-shell-extension-manager_0.4.0-1.dsc          25-Jan-2023 01:49                2421
gnome-shell-extension-manager_0.4.0-1_arm64.deb    25-Jan-2023 07:49               79122
gnome-shell-extension-manager_0.4.0-1_armhf.deb    25-Jan-2023 07:49               71644
gnome-shell-extension-manager_0.4.0.orig.tar.gz    06-Oct-2022 19:18             1476951
gnome-shell-extension-manager_0.5.0-1build1.deb..> 31-Mar-2024 07:11                2724
gnome-shell-extension-manager_0.5.0-1build1.dsc    31-Mar-2024 07:11                2534
gnome-shell-extension-manager_0.5.0-1build1_arm..> 31-Mar-2024 07:13              161160
gnome-shell-extension-manager_0.5.0-1build1_arm..> 31-Mar-2024 07:13              147964
gnome-shell-extension-manager_0.5.0.orig.tar.gz    23-Mar-2024 01:52             2246539
gnome-shell-extension-manager_0.5.1-5.debian.ta..> 28-Sep-2024 08:14                5596
gnome-shell-extension-manager_0.5.1-5.dsc          28-Sep-2024 08:14                2407
gnome-shell-extension-manager_0.5.1-5_arm64.deb    28-Sep-2024 08:14              152478
gnome-shell-extension-manager_0.5.1-5_armhf.deb    28-Sep-2024 08:14              149260
gnome-shell-extension-manager_0.5.1.orig.tar.gz    03-May-2024 01:53             2248071

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.