2005-05-24 16:57:41 +02:00
|
|
|
{stdenv, fetchurl, unzip}:
|
2004-08-30 20:22:14 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2008-02-18 15:26:03 +01:00
|
|
|
name = "jetty-5.1.4";
|
2008-02-15 11:56:31 +01:00
|
|
|
|
2008-02-18 15:26:03 +01:00
|
|
|
builder = ./bin-builder.sh;
|
2008-02-15 11:56:31 +01:00
|
|
|
buildInputs = [unzip];
|
|
|
|
|
2008-02-18 15:26:03 +01:00
|
|
|
src = fetchurl {
|
|
|
|
url = mirror://sourceforge/jetty/jetty-5.1.4.zip;
|
2014-10-12 16:13:21 +02:00
|
|
|
sha256 = "1lzvsrlybrf3zzzv4hi2v82qzpkfkib3xbwwlya8c08gf0360mrk";
|
2008-02-18 15:26:03 +01:00
|
|
|
};
|
2004-08-30 20:22:14 +02:00
|
|
|
}
|