gnome-shell-extension-manager 0.4.3-1ubuntu1 source package in Ubuntu
Changelog
gnome-shell-extension-manager (0.4.3-1ubuntu1) noble; urgency=medium * d/patches/fix-includes.patch: #include <sys/wait.h> in src/main.c to get prototype for waitpid(). -- Michael Hudson-Doyle <email address hidden> Fri, 22 Mar 2024 17:43:59 +1300
Upload details
- Uploaded by:
- Michael Hudson-Doyle
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-manager_0.4.3.orig.tar.gz | 1.4 MiB | 0dff375888c68103dc1a48d0691c34e2bad9670d2d4050a1088f51c04342b956 |
gnome-shell-extension-manager_0.4.3-1ubuntu1.debian.tar.xz | 2.8 KiB | f840968918f2f64abbdc5a792a35198ed0f682b782ad38ea16ba97b6c6beb67a |
gnome-shell-extension-manager_0.4.3-1ubuntu1.dsc | 2.4 KiB | 7103f148b782fb2a88a62fb049a9650a815c683e19d1a366a6e3b60c79ae1099 |
Available diffs
- diff from 0.4.3-1build1 to 0.4.3-1ubuntu1 (563 bytes)
Binary packages built by this source
- gnome-shell-extension-manager: Utility for managing GNOME Shell Extensions
The GNOME shell extension manager is a tool for helping you manage your
installed GNOME shell extensions.
- gnome-shell-extension-manager-dbgsym: debug symbols for gnome-shell-extension-manager