From aa2654f9dfb2413558e3550978c84bc478b8c912 Mon Sep 17 00:00:00 2001 From: c0bw3b Date: Sun, 6 Feb 2022 23:48:38 +0100 Subject: gwtwidgets: remove It's a dead project: https://sourceforge.net/projects/gwt-widget/ Not compatible with latest GWT 2.x --- .../libraries/java/gwt-widgets/default.nix | 25 ---------------------- 1 file changed, 25 deletions(-) delete mode 100644 pkgs/development/libraries/java/gwt-widgets/default.nix (limited to 'pkgs/development/libraries/java') 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 ]; - }; -} -- cgit 1.4.1