diff options
| author | Sander van der Burg <s.vanderburg@tudelft.nl> | 2009-10-19 13:14:23 +0000 |
|---|---|---|
| committer | Sander van der Burg <s.vanderburg@tudelft.nl> | 2009-10-19 13:14:23 +0000 |
| commit | d1eb60faef74e43c545493b29dc1595bdf703272 (patch) | |
| tree | 8094cf5dd4eb4667750b4c5cda8549c2bdea85d8 /pkgs/development/libraries/java | |
| parent | 2aaf37cdf9a2bd45e03aad0b3bab93793218ad04 (diff) | |
- Upgraded GWT to 1.7.1
- The JDK is now a runtime dependency of GWT - Updated GWT-widgets library to 0.2.0 svn path=/nixpkgs/trunk/; revision=17882
Diffstat (limited to 'pkgs/development/libraries/java')
| -rw-r--r-- | pkgs/development/libraries/java/gwt-widgets/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/java/gwt-widgets/default.nix b/pkgs/development/libraries/java/gwt-widgets/default.nix index 663bb9338f18a..de638ce9185f8 100644 --- a/pkgs/development/libraries/java/gwt-widgets/default.nix +++ b/pkgs/development/libraries/java/gwt-widgets/default.nix @@ -1,11 +1,11 @@ {stdenv, fetchurl}: stdenv.mkDerivation { - name = "gwt-widgets-0.1.5"; + name = "gwt-widgets-0.2.0"; builder = ./builder.sh; src = fetchurl { - url = http://heanet.dl.sourceforge.net/sourceforge/gwt-widget/gwt-widgets-0.1.5-bin.tar.gz; - md5 = "daf59b3bc28a9045b6165f185e3e77a0"; + url = mirror://sourceforge/gwt-widget/gwt-widgets-0.2.0-bin.tar.gz; + sha256 = "09isj4j6842rj13nv8264irkjjhvmgihmi170ciabc98911bakxb"; }; } |