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

mediainfo-gui: 17.12 -> 18.03.1
This commit is contained in:
Matthew Justin Bauer 2018-04-08 21:27:45 -05:00 committed by GitHub
commit 89bbbf9718
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 = "17.12";
version = "18.03.1";
name = "mediainfo-gui-${version}";
src = fetchurl {
url = "https://mediaarea.net/download/source/mediainfo/${version}/mediainfo_${version}.tar.xz";
sha256 = "1pxdf0ny3c38gl513zdiaagpvk4bqnsc2fn7476yjdpv2lxsw56f";
sha256 = "1mpwbqvw6awni5jq7i5yqvf6wgwjc37sl42q20rdq2agdlslqrkr";
};
nativeBuildInputs = [ autoreconfHook pkgconfig ];