2005-05-24 16:57:41 +02:00
|
|
|
{stdenv, fetchurl, unzip}:
|
2004-08-30 20:22:14 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2005-09-11 20:05:21 +02:00
|
|
|
name = "jetty-5.1.4";
|
2004-08-30 20:22:14 +02:00
|
|
|
|
|
|
|
builder = ./bin-builder.sh;
|
2005-05-24 16:57:41 +02:00
|
|
|
buildInputs = [unzip];
|
2004-08-30 20:22:14 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
2007-08-27 15:01:33 +02:00
|
|
|
url = mirror://sourceforge/jetty/jetty-5.1.4.zip;
|
2005-09-11 20:05:21 +02:00
|
|
|
md5 = "5d16bb1ea4a62dff93c0b7f7de00430f";
|
2004-08-30 20:22:14 +02:00
|
|
|
};
|
|
|
|
}
|