pkgs/development/libraries/java/jdom/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{stdenv, fetchurl} :

stdenv.mkDerivation {
  name = "jdom-1.0";
  builder = ./builder.sh;

  src = fetchurl {
    url = http://www.jdom.org/dist/binary/jdom-1.0.tar.gz;
    sha256 = "1igmxzcy0s25zcy9vmcw0kd13lh60r0b4qg8lnp1jic33f427pxf";
  };

  meta = {
    platforms = stdenv.lib.platforms.unix;
  };
}