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

drawio: 12.5.3 -> 12.6.5
This commit is contained in:
Maximilian Bosch 2020-02-07 10:51:30 +01:00 committed by GitHub
commit fde7ffab6b
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.5.3"; version = "12.6.5";
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 = "048lksq2akkyi5jg1fiz455n2nv6w58kv8xb9y41qms5dshpww2q"; sha256 = "14x4h680q3w9wsdmivy2k1bggb09vdm3a3wrpfwd79dbaagjk4lc";
}; };
nativeBuildInputs = [ nativeBuildInputs = [