Merge remote-tracking branch 'upstream/master' into HEAD

2017-05-22 09:21:40 +02:00
parent b175feb8e1 64a924a96b
commit 99cfab07b9
188 changed files with 22491 additions and 54822 deletions
@@ -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 ];