Merge pull request #45556 from r-ryantm/auto-update/media-player-info

media-player-info: 23 -> 24
This commit is contained in:
Jörg Thalheim 2018-08-27 21:54:28 +01:00 committed by GitHub
commit b4a5b3efab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
{ stdenv, fetchurl, pkgconfig, python3, udev, systemd }: { stdenv, fetchurl, pkgconfig, python3, udev, systemd }:
let let
name = "media-player-info-23"; name = "media-player-info-24";
in in
stdenv.mkDerivation { stdenv.mkDerivation {
@ -9,7 +9,7 @@ in
src = fetchurl { src = fetchurl {
url = "https://www.freedesktop.org/software/media-player-info/${name}.tar.gz"; url = "https://www.freedesktop.org/software/media-player-info/${name}.tar.gz";
sha256 = "1jy8xh4xjgjc4wj4qrw6sx2j3606zsj4bgiczhzf3xlpnkh6vax9"; sha256 = "0d0i7av8v369hzvlynwlrbickv1brlzsmiky80lrjgjh1gdldkz6";
}; };
buildInputs = [ udev systemd ]; buildInputs = [ udev systemd ];