2005-09-11 16:38:59 +01:00
|
|
|
{stdenv, fetchurl} :
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "jdom-1.0";
|
|
|
|
builder = ./builder.sh;
|
|
|
|
|
|
|
|
src = fetchurl {
|
2007-08-24 13:32:36 +01:00
|
|
|
url = http://www.jdom.org/dist/binary/jdom-1.0.tar.gz;
|
2016-11-11 20:36:47 +00:00
|
|
|
sha256 = "1igmxzcy0s25zcy9vmcw0kd13lh60r0b4qg8lnp1jic33f427pxf";
|
2005-09-11 16:38:59 +01:00
|
|
|
};
|
2016-08-02 17:06:29 +01:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
platforms = stdenv.lib.platforms.unix;
|
|
|
|
};
|
2016-08-02 16:51:05 +01:00
|
|
|
}
|