gnome-shell-extension-manager binary package in Ubuntu Mantic armhf
The GNOME shell extension manager is a tool for helping you manage your
installed GNOME shell extensions.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-08-30 20:43:31 UTC | Published | Ubuntu Mantic armhf | release | universe | gnome | Optional | 0.4.2-1 | ||
|
|||||||||
Deleted | Ubuntu Mantic armhf | proposed | universe | gnome | Optional | 0.4.2-1 | |||
|
|||||||||
2023-08-30 20:44:34 UTC | Superseded | Ubuntu Mantic armhf | release | universe | gnome | Optional | 0.4.0-1 | ||
|