diff options
| author | joachifm <joachifm@users.noreply.github.com> | 2016-03-16 00:20:09 +0000 |
|---|---|---|
| committer | joachifm <joachifm@users.noreply.github.com> | 2016-03-16 00:20:09 +0000 |
| commit | 4369f06ab5f1a6ac7451ff5b57328d9f565aa22c (patch) | |
| tree | 651c1a8835bd8b1a8e7635a4d8c041a428513d9b | |
| parent | c7e448818f01f733ac8cd6c49532002035c0c93c (diff) | |
| parent | 5e9a344e62d4da2a62e3a7c0606d8704931b0159 (diff) | |
| download | nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.tar nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.tar.gz nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.tar.bz2 nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.tar.lz nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.tar.xz nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.tar.zst nixlib-4369f06ab5f1a6ac7451ff5b57328d9f565aa22c.zip | |
Merge pull request #13934 from jraygauthier/jrg/update_plantuml_from_8012_to_8037
plantuml: 8012 -> 8037
| -rw-r--r-- | pkgs/tools/misc/plantuml/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/tools/misc/plantuml/default.nix b/pkgs/tools/misc/plantuml/default.nix index 6de3474d2d74..c71f2e86e119 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 |