Package: gnome-shell-extension-prefs
Architecture: amd64
Version: 42.9-0ubuntu2.2
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.2), gnome-shell-common (= 42.9-0ubuntu2.2)
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.2_amd64.deb
Size: 9180
MD5sum: 218cc12d3cd17cf3ecd49e73c47c4434
SHA1: 0f759957ff18563551ebd0ea47efee13cd1c8858
SHA256: 935761aa86606e7cacaf9448b1da4dda48b67414e2a401a19df8ca586ff8078a
SHA512: 38608e6d048281265412bf880e9029c59647d5ab7ffb371e2b762c7f528b8f6719a5dd3ff7ea1916daaa3cdca1d8897f6695fe0a8c27bd8d68b7012bcd3022b5
Homepage: https://wiki.gnome.org/Projects/GnomeShell
Description: tool to enable / disable GNOME Shell extensions
Description-md5: b750b0280408e85a2232c9f629868acf