gnome-shell-extension-manager binary package in Ubuntu Mantic riscv64
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 riscv64 | release | universe | gnome | Optional | 0.4.2-1 | ||
|
|||||||||
Deleted | Ubuntu Mantic riscv64 | proposed | universe | gnome | Optional | 0.4.2-1 | |||
|
|||||||||
2023-08-30 20:44:34 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | gnome | Optional | 0.4.0-1 | ||
|