gnome-shell 42.3.1-2 source package in Debian
Changelog
gnome-shell (42.3.1-2) unstable; urgency=medium
[ Marco Trevisan (Treviño) ]
* debian/source_gnome-shell.py: Support gdm name only
* debian/control: Recommend gnome-remote-desktop
[ Jeremy Bicha ]
* Cherry-pick patch to allow Extension Manager update feature to work
without the older Extensions app installed (LP: #1981952)
-- Jeremy Bicha <email address hidden> Mon, 18 Jul 2022 07:36:31 +0200
Upload details
- Uploaded by:
- Debian GNOME Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian GNOME Maintainers
- Architectures:
- linux-any all
- Section:
- gnome
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell_42.3.1-2.dsc | 3.7 KiB | e3029d1eff916cd27f4994a57ac2ed50601de253392dfaabdd6b482076f7e35c |
| gnome-shell_42.3.1.orig.tar.xz | 1.8 MiB | 7dfab32dfac3cd64d4612918ca987cfb33238efa092798753c8845ff16935f7d |
| gnome-shell_42.3.1-2.debian.tar.xz | 37.9 KiB | 5394ff7bf42e48c912b608f82de0dcf5fc48ff4d2f201964a7e0a16f384ec198 |
No changes file available.
