Package: gnome-shell-extension-prefs
Architecture: amd64
Version: 42.9-0ubuntu2.1
Priority: optional
Section: universe/gnome
Source: gnome-shell
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 89
Provides: gnome-extensions-app
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.71.1), gnome-shell (= 42.9-0ubuntu2.1), gnome-shell-common (= 42.9-0ubuntu2.1)
Recommends: chrome-gnome-shell
Breaks: gnome-shell (<< 3.36.0-2)
Replaces: gnome-shell (<< 3.36.0-2)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_42.9-0ubuntu2.1_amd64.deb
Size: 9186
MD5sum: 713d140190cae6c3c1fc125b7620031a
SHA1: 95e93654f0e1647121fe21039ba65ae5c479597e
SHA256: 16003a8b721d6de1d67ecbbb806a844a492210fcc53ed09df092e468829db01a
SHA512: 037202f05603c9e850e48c5efc73779340d8498ab883aa7358f5ba9b92caf4b3a9c178f7d852493d155ef76a3f7d6fb4ffe1258705f8f2e5ec31d147bb0c0ff6
Homepage: https://wiki.gnome.org/Projects/GnomeShell
Description: tool to enable / disable GNOME Shell extensions
Description-md5: b750b0280408e85a2232c9f629868acf