Merge pull request #92767 from danieldk/drawio-13.3.9

drawio: 13.3.5 -> 13.3.9
This commit is contained in:
Lancelot SIX 2020-07-09 17:08:09 +01:00 committed by GitHub
commit f7199eba46
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 = "13.3.5"; version = "13.3.9";
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 = "16pds6sip90davrlrk17a7ms5nh1bs8js5i0hbci1l8gsfyx22i7"; sha256 = "1i1idjy80x6a0w40lziivyhg8nnlbpri7xdqxikxy982vffgihwp";
}; };
nativeBuildInputs = [ nativeBuildInputs = [