Package: gnome-shell-extension-prefs
Source: gnome-extensions-app
Priority: optional
Section: universe/gnome
Installed-Size: 33
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 51~alpha-1
Depends: gnome-extensions-app
Filename: pool/universe/g/gnome-extensions-app/gnome-shell-extension-prefs_51~alpha-1_all.deb
Size: 8446
SHA512: b82fd56ae7636c23296a532958027a23487828982ab475a041688c9147dc74a098fb7e8765f279d7fff153e15edda2dde89f5766e68d6ac9bd3f40dffd463262
Homepage: https://gitlab.gnome.org/GNOME/gnome-extensions-app
Description: graphical tool to enable / disable GNOME Shell extensions - transitional
Description-md5: 1f9e9901e39bb965ef95246bff34f6ed
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug