dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

DisnixWebService: 0.7 -> 0.8

Browse Source
This commit is contained in:
Sander van der Burg 2018-02-25 22:26:26 +01:00
parent db5c7f34d3
commit ceeed463e9
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/tools/package-management/disnix/DisnixWebService/default.nix
View File

@ -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}'';