diff options
| author | c0bw3b <c0bw3b@users.noreply.github.com> | 2022-02-06 23:48:38 +0100 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2022-02-06 16:56:17 -0800 |
| commit | aa2654f9dfb2413558e3550978c84bc478b8c912 (patch) | |
| tree | 9d0032d152015fda08b5537998d8d3cccbe47b92 /pkgs/development/libraries/java | |
| parent | 017c4d207c7f4149f8b631e0f0d6760295d0b8e8 (diff) | |
gwtwidgets: remove
It's a dead project: https://sourceforge.net/projects/gwt-widget/ Not compatible with latest GWT 2.x
Diffstat (limited to 'pkgs/development/libraries/java')
| -rw-r--r-- | pkgs/development/libraries/java/gwt-widgets/default.nix | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/pkgs/development/libraries/java/gwt-widgets/default.nix b/pkgs/development/libraries/java/gwt-widgets/default.nix deleted file mode 100644 index ebba8548016ef..0000000000000 --- a/pkgs/development/libraries/java/gwt-widgets/default.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ lib, stdenv, fetchurl }: - -stdenv.mkDerivation rec { - pname = "gwt-widgets"; - version = "0.2.0"; - - src = fetchurl { - url = "mirror://sourceforge/gwt-widget/gwt-widgets-${version}-bin.tar.gz"; - sha256 = "09isj4j6842rj13nv8264irkjjhvmgihmi170ciabc98911bakxb"; - }; - - installPhase = '' - runHook preInstall - - mkdir -p $out/share/java - cp gwt-widgets-*.jar $out/share/java - - runHook postInstall - ''; - - meta = with lib; { - platforms = platforms.unix; - license = with licenses; [ afl21 lgpl2 ]; - }; -} |