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 Pocket 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

View changes file

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