2005-05-24 15:57:41 +01:00
|
|
|
{stdenv, fetchurl, unzip}:
|
2004-08-30 19:22:14 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2008-02-18 14:26:03 +00:00
|
|
|
name = "jetty-5.1.4";
|
2008-02-15 10:56:31 +00:00
|
|
|
|
2008-02-18 14:26:03 +00:00
|
|
|
builder = ./bin-builder.sh;
|
2008-02-15 10:56:31 +00:00
|
|
|
buildInputs = [unzip];
|
|
|
|
|
2008-02-18 14:26:03 +00:00
|
|
|
src = fetchurl {
|
|
|
|
url = mirror://sourceforge/jetty/jetty-5.1.4.zip;
|
|
|
|
md5 = "5d16bb1ea4a62dff93c0b7f7de00430f";
|
|
|
|
};
|
2004-08-30 19:22:14 +01:00
|
|
|
}
|