jdom: 1.0 -> 2.0.6.1

This commit is contained in:
Weijia Wang 2023-03-17 08:45:36 +02:00
parent a8fa8c2e90
commit 78877052dc

View file

@ -1,16 +1,25 @@
{ lib, stdenv, fetchurl }: { lib
, stdenv
, fetchzip
}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "jdom"; pname = "jdom";
version = "1.0"; version = "2.0.6.1";
src = fetchurl { src = fetchzip {
url = "http://www.jdom.org/dist/binary/jdom-${version}.tar.gz"; url = "http://www.jdom.org/dist/binary/jdom-${version}.zip";
sha256 = "1igmxzcy0s25zcy9vmcw0kd13lh60r0b4qg8lnp1jic33f427pxf"; stripRoot = false;
hash = "sha256-Y++mlO+7N5EU2NhRzLl5x5WXNqu/2tDO/NpNhfRegcg=";
}; };
buildCommand = '' installPhase = ''
cp -r ./ $out runHook preInstall
mkdir -p $out/share/java
cp -a . $out/share/java
runHook postInstall
''; '';
meta = with lib; { meta = with lib; {