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

mediainfo-gui: 19.09 -> 20.03
This commit is contained in:
Ryan Mulligan 2020-05-06 06:14:44 -07:00 committed by GitHub
commit f04f643d8e
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 = "19.09";
version = "20.03";
pname = "mediainfo-gui";
src = fetchurl {
url = "https://mediaarea.net/download/source/mediainfo/${version}/mediainfo_${version}.tar.xz";
sha256 = "1a2ssklg12sjsw09y8my9kf35mizi3zj7w002nspcmw28apb1x82";
sha256 = "1f1shnycf0f1fwka9k9s250l228xjkg0k4k73h8bpld8msighgnw";
};
nativeBuildInputs = [ autoreconfHook pkgconfig ];