From 9516b038b7c7012e7174ec683489d0da133052a6 Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Sat, 20 May 2017 14:44:33 +0200
Subject: [PATCH] basex: 8.3.1 -> 8.6.4

---
 pkgs/tools/text/xml/basex/default.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pkgs/tools/text/xml/basex/default.nix b/pkgs/tools/text/xml/basex/default.nix
index b7ff365fad5..4a7a478a12a 100644
--- a/pkgs/tools/text/xml/basex/default.nix
+++ b/pkgs/tools/text/xml/basex/default.nix
@@ -1,11 +1,12 @@
 { stdenv, fetchurl, unzip, jre, coreutils, makeDesktopItem }:
 
 stdenv.mkDerivation rec {
-  name = "basex-8.3.1";
+  name = "basex-${version}";
+  version = "8.6.4";
 
   src = fetchurl {
-    url = "http://files.basex.org/releases/8.3.1/BaseX831.zip";
-    sha256 = "08ba0qvfaa1560hy0nsiq9y6slgdj46j9rdssigf2vvkc5ngkgg0";
+    url = "http://files.basex.org/releases/${version}/BaseX864.zip";
+    sha256 = "14320hfw53m0zl1v4377p0vcjvdnwfpa4gkj2y2wlrplma76y0w7";
   };
 
   buildInputs = [ unzip jre ];