gnome-shell-extension-mediaplayer 3.5+git20181012-1 source package in Debian
Changelog
gnome-shell-extension-mediaplayer (3.5+git20181012-1) unstable; urgency=medium
* New upstream git snapshot
- Drop patches that came from upstream
* Set Rules-Requires-Root to no
* Standards-Version: 4.2.1 (no changes required)
* Switch Vcs-* to GNOME Team shell-extensions subgroup
* Add GNOME Team to Uploaders (team uploads and new maintainers welcome)
* d/docs: Install README.md
-- Simon McVittie <email address hidden> Tue, 30 Oct 2018 10:02:52 +0000
Upload details
- Uploaded by:
- Simon McVittie
- Uploaded to:
- Sid
- Original maintainer:
- Simon McVittie
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell-extension-mediaplayer_3.5+git20181012-1.dsc | 2.3 KiB | 0949e44ea140637e683dc3b75f96f155b914a8ba19ba739f1f2e9c00d90b1aba |
| gnome-shell-extension-mediaplayer_3.5+git20181012.orig.tar.xz | 278.2 KiB | 05aacabbe02a32b86199fcb3299cfb837771f5c8d7b616885d565579f43ae569 |
| gnome-shell-extension-mediaplayer_3.5+git20181012-1.debian.tar.xz | 11.3 KiB | afe3237fdc62b5c8c41b100e7cd75132958123c8f6a53ef174879d002e194794 |
Available diffs
- diff from 3.5-4 to 3.5+git20181012-1 (65.6 KiB)
No changes file available.
