From 5e9a344e62d4da2a62e3a7c0606d8704931b0159 Mon Sep 17 00:00:00 2001 From: Raymond Gauthier Date: Tue, 15 Mar 2016 09:10:20 -0400 Subject: [PATCH] plantuml: 8012 -> 8037 Updated to latest stable version. --- pkgs/tools/misc/plantuml/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/tools/misc/plantuml/default.nix b/pkgs/tools/misc/plantuml/default.nix index 6de3474d2d7..c71f2e86e11 100644 --- a/pkgs/tools/misc/plantuml/default.nix +++ b/pkgs/tools/misc/plantuml/default.nix @@ -1,12 +1,12 @@ { stdenv, fetchurl, jre, graphviz }: stdenv.mkDerivation rec { - version = "8012"; + version = "8037"; name = "plantuml-${version}"; src = fetchurl { url = "mirror://sourceforge/project/plantuml/plantuml.${version}.jar"; - sha256 = "12l2kmp6jaz6lmcj16ljhrpb1bm7zzz5qgvihhymvk66rfjd3ybz"; + sha256 = "1mlwcaph6n2akl639x64vpyjjipv6x0mwqxv6lvy3ml58pbgl58y"; }; # It's only a .jar file and a shell wrapper