Package: gnome-shell-extension-manager Architecture: amd64 Version: 0.5.1-5 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 731 Depends: libadwaita-1-0 (>= 1.5~beta), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libglib2.0-0t64 (>= 2.80.0), libgtk-4-1 (>= 4.9.3), libjson-glib-1.0-0 (>= 1.5.2), libsoup-3.0-0 (>= 3.0.3), libtext-engine-0.1-0 (>= 0.1.1), dconf-gsettings-backend | gsettings-backend, gjs, gnome-shell, unzip Filename: pool/universe/g/gnome-shell-extension-manager/gnome-shell-extension-manager_0.5.1-5_amd64.deb Size: 154620 MD5sum: a06c9f9311be080bb69e044373e860c1 SHA1: 0052175b10e986b33282567e571ab9d89632e4a3 SHA256: 15ee3ca5fed35ff2dad34ea11563dfc1bcbcdd8baf547b1f254843cee59f5de3 SHA512: dec77f37e8f2629a483722e075c52ac73bcfb610eca1fcd780e5ba33858da73a3d029365f3fc43f1674ad7d0bb62ffd6c9e170eb5adaaccec43c71593ba4484b Homepage: https://github.com/mjakeman/extension-manager Description: Utility for managing GNOME Shell Extensions Task: edubuntu-desktop-gnome-minimal, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi Description-md5: 2726aaa42b905eea24cc49fb8c1f78e0