Merge pull request #78075 from r-ryantm/auto-update/drawio

drawio: 12.4.2 -> 12.5.3
This commit is contained in:
Ryan Mulligan 2020-01-21 05:26:06 -08:00 committed by GitHub
commit 9db50dc97f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,11 +11,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "drawio"; pname = "drawio";
version = "12.4.2"; version = "12.5.3";
src = fetchurl { src = fetchurl {
url = "https://github.com/jgraph/drawio-desktop/releases/download/v${version}/draw.io-x86_64-${version}.rpm"; url = "https://github.com/jgraph/drawio-desktop/releases/download/v${version}/draw.io-x86_64-${version}.rpm";
sha256 = "1mngn90cn9hixa0xkhk7mb02gjp480wnipjy2jzkq8kwpai1gm1m"; sha256 = "048lksq2akkyi5jg1fiz455n2nv6w58kv8xb9y41qms5dshpww2q";
}; };
nativeBuildInputs = [ nativeBuildInputs = [