Merge pull request #60627 from r-ryantm/auto-update/mediainfo-gui

mediainfo-gui: 18.12 -> 19.04
This commit is contained in:
Renaud 2019-05-01 16:48:05 +02:00 committed by GitHub
commit 78e0c60f99
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
, desktop-file-utils, libSM, imagemagick }:
stdenv.mkDerivation rec {
version = "18.12";
version = "19.04";
name = "mediainfo-gui-${version}";
src = fetchurl {
url = "https://mediaarea.net/download/source/mediainfo/${version}/mediainfo_${version}.tar.xz";
sha256 = "01pk57ff297lifm3g2hrbmfmchgyy5rir8103n2j3l0dkn2i0g3d";
sha256 = "11wag23gx7nprrm1qlgvbc83rs9zxdsshqrp98zwia80xh8c9bk5";
};
nativeBuildInputs = [ autoreconfHook pkgconfig ];