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.0-1.debian.ta..> 14-Dec-2024 17:55                2888
gnome-shell-extension-manager_0.6.0-1.dsc          14-Dec-2024 17:55                2415
gnome-shell-extension-manager_0.6.0-1_arm64.deb    15-Dec-2024 01:12              181400
gnome-shell-extension-manager_0.6.0-1_armhf.deb    15-Dec-2024 01:12              178312
gnome-shell-extension-manager_0.6.0.orig.tar.gz    14-Dec-2024 17:55             2444382

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.