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.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
gnome-shell-extension-manager_0.6.1-1.debian.ta..> 24-Jan-2025 17:47                2944
gnome-shell-extension-manager_0.6.1-1.dsc          24-Jan-2025 17:47                2409
gnome-shell-extension-manager_0.6.1-1_arm64.deb    24-Jan-2025 17:49              183096
gnome-shell-extension-manager_0.6.1-1_armhf.deb    24-Jan-2025 17:49              180028
gnome-shell-extension-manager_0.6.1.orig.tar.gz    24-Jan-2025 17:47             2445709

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.