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

drawio: 13.6.2 -> 13.7.3
This commit is contained in:
Daniël de Kok 2020-09-25 08:05:03 +02:00 committed by GitHub
commit ad59a48658
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,11 +11,11 @@
stdenv.mkDerivation rec {
pname = "drawio";
version = "13.6.2";
version = "13.7.3";
src = fetchurl {
url = "https://github.com/jgraph/drawio-desktop/releases/download/v${version}/draw.io-x86_64-${version}.rpm";
sha256 = "17nahdv06d41vyqkcqflf652wjp410i3hn4rhlv5cnd3jcr5vgih";
sha256 = "14wcj9jbpv1rg0g7djihzzq088aj96mwys4rc9540ajbkbbm9d36";
};
nativeBuildInputs = [