From ceeed463e93473708cb44edf1df14a5b3ffc06e9 Mon Sep 17 00:00:00 2001 From: Sander van der Burg Date: Sun, 25 Feb 2018 22:26:26 +0100 Subject: [PATCH] DisnixWebService: 0.7 -> 0.8 --- .../package-management/disnix/DisnixWebService/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/tools/package-management/disnix/DisnixWebService/default.nix b/pkgs/tools/package-management/disnix/DisnixWebService/default.nix index 152dc7dcc04..f75bf6bf162 100644 --- a/pkgs/tools/package-management/disnix/DisnixWebService/default.nix +++ b/pkgs/tools/package-management/disnix/DisnixWebService/default.nix @@ -1,10 +1,10 @@ {stdenv, fetchurl, apacheAnt, jdk, axis2, dbus_java}: stdenv.mkDerivation { - name = "DisnixWebService-0.7"; + name = "DisnixWebService-0.8"; src = fetchurl { - url = https://github.com/svanderburg/DisnixWebService/files/842861/DisnixWebService-0.7.tar.gz; - sha256 = "1zqy0badqqw8pzp9ky2aayi27v6znd64zafacvywjrn185fjz17g"; + url = https://github.com/svanderburg/DisnixWebService/files/1756703/DisnixWebService-0.8.tar.gz; + sha256 = "05hmyz17rmqlph0i321kmhabnpw84kqz32lgc5cd4shxyzsal9hz"; }; buildInputs = [ apacheAnt jdk ]; PREFIX = ''''${env.out}'';