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