Package: gnome-shell-extension-manager Architecture: amd64 Version: 0.6.3-1 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 939 Depends: gjs, gnome-shell, unzip, dconf-gsettings-backend | gsettings-backend, libadwaita-1-0 (>= 1.7~alpha), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libglib2.0-0t64 (>= 2.80.0), libgtk-4-1 (>= 4.9.4), libjson-glib-1.0-0 (>= 1.5.2), libsoup-3.0-0 (>= 3.0.3), libxml2 (>= 2.7.4) Filename: pool/universe/g/gnome-shell-extension-manager/gnome-shell-extension-manager_0.6.3-1_amd64.deb Size: 192428 MD5sum: f878cfcf734fc626c25328eefbc15f6e SHA1: 2c06e6ac3a47fe7c6315fcb040aadf12fe54832f SHA256: 9305f31028d1343d87f60cd8aa94d50f47c9db4a19b575c18e535b5e776d7d59 SHA512: 39cbbd186e0fe5da330d45e627b084662547c6270a8765dcf2308eb4fbf02da600c1176a3223942c08a33a54e49edf847a1d78041febdcedbd09579a0824d953 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