2004-07-10 15:59:21 +02:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2005-05-25 11:20:30 +02:00
|
|
|
name = "jikes-1.22";
|
2004-01-24 23:50:47 +01:00
|
|
|
src = fetchurl {
|
2007-08-27 15:01:33 +02:00
|
|
|
url = mirror://sourceforge/jikes/jikes-1.22.tar.bz2;
|
2005-05-25 11:20:30 +02:00
|
|
|
md5 = "cda958c7fef6b43b803e1d1ef9afcb85";
|
2004-01-24 23:50:47 +01:00
|
|
|
};
|
|
|
|
}
|