media-player-info: rename name to pname&version

This commit is contained in:
Alexandre Iooss 2022-09-24 10:24:40 +02:00
parent 77f081b0bd
commit b46221d764

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";
};
@ -28,4 +25,4 @@ in
maintainers = with maintainers; [ ttuegel ];
platforms = with platforms; linux;
};
}
}