nixsearch / pkg / gnomeExtensions.dock-media-player / 6
gnomeExtensions.dock-media-player 6
Simple media widget for Dash to Dock
Linux
last changed
Pin this version
$ devbox add gnomeExtensions.dock-media-player@6
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#gnomeExtensions.dock-media-player
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-linuxLinux · arm64 |
gnomeExtensions.dock-media-player |
b6c8664de9b6 | out/nix/store/209s98sidnkzgrygv19w29wl8m62bgmv-gnome-shell-extension-dock-media-player-6 |
||
x86_64-linuxLinux · x86-64 |
gnomeExtensions.dock-media-player |
b6c8664de9b6 | out/nix/store/4xkmwnbyswmbj5sl3afb0id93alk7dgr-gnome-shell-extension-dock-media-player-6 |
JSON: /v2/pkg?name=gnomeExtensions.dock-media-player · /v2/resolve?name=gnomeExtensions.dock-media-player&version=6