[ buster ]
Pakiet źródłowy: gnome-shell-extension-mediaplayer (4.0-1)
Odnośniki dla gnome-shell-extension-mediaplayer
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Repozytorium kodu źródłowego Debiana (Git)
- Śledzenie łatek systemu Debian
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- gnome-shell-extension-mediaplayer
- GNOME Shell extension to control media players
Inne pakiety związane z gnome-shell-extension-mediaplayer
|
|
-
- adep: debhelper (>= 10)
- Programy pomocnicze do debian/rules
-
- adep: gettext
- Narzędzia Internacjonalizacji GNU
-
- adep: intltool
- Przydatne skrypty do umiędzynarodowienia XML
-
- adep: libglib2.0-dev
- Development files for the GLib library
-
- adep: meson (>= 0.40.0)
- high-productivity build system
-
- adep: pkg-config
- Zarządzanie flagami kompilacji i konsolidacji do bibliotek
Download gnome-shell-extension-mediaplayer
Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
---|---|---|
gnome-shell-extension-mediaplayer_4.0-1.dsc | 2,2 KiB | f4843b29c79bdeb278ce42fc2fb3ce09 |
gnome-shell-extension-mediaplayer_4.0.orig.tar.gz | 241,5 KiB | 383de8ea94775f7e8a4054561d38b5a4 |
gnome-shell-extension-mediaplayer_4.0-1.debian.tar.xz | 10,9 KiB | 04e083b2a8442af4b2fa109967fed8cb |
- Repozytorium kodu źródłowego Debiana (VCS: Git)
- https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-mediaplayer.git
- Repozytorium kodu źródłowego Debiana (do przeglądania)
- https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-mediaplayer