lp:~gnome-shell-extensions/gnome-shell-extensions/+git/gnome-shell-extension-manager-debian
- Get this repository:
-
git clone
https://git.launchpad.net/~gnome-shell-extensions/gnome-shell-extensions/+git/gnome-shell-extension-manager-debian
Import details
This repository is an import of the Git repository at https://salsa.debian.org/gnome-team/gnome-shell-extension-manager.git.
Last successful import was .
Branches
Name | Last Modified | Last Commit |
---|---|---|
debian/latest | 2024-03-22 18:17:57 UTC |
releasing package gnome-shell-extension-manager version 0.5.0-1
Author:
Jeremy Bícha
releasing package gnome-shell- |
pristine-tar | 2024-03-22 18:12:45 UTC |
pristine-tar data for gnome-shell-extension-manager_0.5.0.orig.tar.gz
Author:
Jeremy Bícha
pristine-tar data for gnome-shell- |
upstream/latest | 2024-03-22 18:12:41 UTC |
New upstream version 0.5.0
Author:
Jeremy Bícha
New upstream version 0.5.0 |
debian/master | 2023-09-04 14:17:34 UTC |
Change debian-branch from debian/master to debian/latest
Author:
Amin Bandali
Change debian-branch from debian/master to debian/latest |
debian/bookworm | 2023-01-24 18:00:29 UTC |
releasing package gnome-shell-extension-manager version 0.4.0-1
Author:
Jeremy Bícha
releasing package gnome-shell- |
ubuntu/jammy | 2022-05-10 15:41:11 UTC |
releasing package gnome-shell-extension-manager version 0.3.0-0ubuntu2.1
Author:
Jeremy Bícha
releasing package gnome-shell- |
main | 2022-03-11 21:58:45 UTC |
Refreshed packaging
Author:
Ken VanDine
Refreshed packaging |
1 → 7 of 7 results | First • Previous • Next • Last |