Merge #192735: media-player-info: rename name to pname&version

...into staging
This commit is contained in:
Vladimír Čunát 2022-09-29 09:38:03 +02:00
commit 70e67ff12e
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -1,14 +1,11 @@
{ lib, stdenv, fetchurl, pkg-config, python3, udev, systemd }:
let
name = "media-player-info-24";
in
stdenv.mkDerivation {
inherit name;
stdenv.mkDerivation rec {
pname = "media-player-info";
version = "24";
src = fetchurl {
url = "https://www.freedesktop.org/software/media-player-info/${name}.tar.gz";
url = "https://www.freedesktop.org/software/media-player-info/${pname}-${version}.tar.gz";
sha256 = "0d0i7av8v369hzvlynwlrbickv1brlzsmiky80lrjgjh1gdldkz6";
};