gnome-shell-extension-prefs (42.9-0ubuntu2.3pop0~1745963094~22.04~af56e4e)

2 versions available in popos/jammy/main/amd64

Details

Core information at a glance

Distribution
popos
Origin
popos-release-jammy
Repository
https://apt-origin.pop-os.org/release
Codename
jammy
Component
main
Source
gnome-shell
Architecture
amd64
Section
gnome
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
90 B
Size expected
65.1 kB
Size actual
65.1 kB
Size match

Dependencies

Required package dependencies

  • gir1.2-adw-1
  • gir1.2-gtk-4.0
  • gjs (>= 1.71.1)
  • gnome-shell (= 42.9-0ubuntu2.3pop0~1745963094~22.04~af56e4e)
  • gnome-shell-common (= 42.9-0ubuntu2.3pop0~1745963094~22.04~af56e4e)

Suggested packages

Recommended additional packages

  • None

Description

tool to enable / disable GNOME Shell extensions

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD53c44ee7e…43c44f90
SHA-1b3fd0aac…7ba0bf6e
SHA-2564dabda80…9ac78edf
SHA-512649b1937…825c84d4

Contents

Files and directories included

.
usr
usr/bin
usr/bin/gnome-extensions-app
usr/bin/gnome-shell-extension-prefs
usr/share
usr/share/applications
usr/share/applications/org.gnome.Extensions.desktop
usr/share/doc
usr/share/doc/gnome-shell-extension-prefs
usr/share/doc/gnome-shell-extension-prefs/changelog.Debian.gz
usr/share/doc/gnome-shell-extension-prefs/copyright
usr/share/metainfo
usr/share/metainfo/org.gnome.Extensions.metainfo.xml