Merge pull request #96441 from r-ryantm/auto-update/plantuml

plantuml: 1.2020.15 -> 1.2020.16
This commit is contained in:
Ryan Mulligan 2020-08-28 11:24:54 -07:00 committed by GitHub
commit ce8207fc15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,12 +1,12 @@
{ stdenv, fetchurl, makeWrapper, jre, graphviz }: { stdenv, fetchurl, makeWrapper, jre, graphviz }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.2020.15"; version = "1.2020.16";
pname = "plantuml"; pname = "plantuml";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/project/plantuml/${version}/plantuml.${version}.jar"; url = "mirror://sourceforge/project/plantuml/${version}/plantuml.${version}.jar";
sha256 = "0dvm24ihdr71giz0mihg7wjqf2nrkk7a52vbbzimrvbilaih6s8v"; sha256 = "0k9dligb0b2kc8rl9k5wp9sh8z1kb8g97v5pfiiwa321lp8y6wpp";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];