Ubuntu
gnome-shell-extension-manager package

gnome-shell-extension-manager source package in Mantic

gnome-shell-extension-manager: Utility for managing GNOME Shell Extensions
gnome-shell-extension-manager-dbgsym: debug symbols for gnome-shell-extension-manager

Versions published

Release

The package versions that were published when the distribution release was made.

gnome-shell-extension-manager information

Current version:
0.4.2-1
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Gnome Shell Extension Manager ⇒ trunk

Utility for managing GNOME Shell Extensions

Bug supervisor: no
Bug tracker: no
Branch: no
Translations: no

There are no registered releases for the Gnome Shell Extension Manager ⇒ trunk.

Releases in Ubuntu

Binary packages

Download files from current release (0.4.2-1)

File Size SHA-256 Checksum
gnome-shell-extension-manager_0.4.2-1.dsc 2.3 KiB a0e73abddfaecc36e1ad84d3a2e311d5ba0c8603cb8b92e4cb6d22ab07306cd1
gnome-shell-extension-manager_0.4.2.orig.tar.gz 1.4 MiB c9443755aab4340b6bb31b9ab18d49fdf65d14391bce80e6262cc7ba27e5eab0
gnome-shell-extension-manager_0.4.2-1.debian.tar.xz 4.5 KiB c39d766908fe57abfa3afed63bbc7011a8c1df7b4eff30aeb1eb294487455e18

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies