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;
|
2017-01-24 17:42:44 +01:00
|
|
|
sha256 = "1qqldrp74pzpy5ly421srqn30qppmm9cvjiqdngk8hf47dv2rc0c";
|
2004-01-24 23:50:47 +01:00
|
|
|
};
|
2016-08-02 18:06:29 +02:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
platforms = stdenv.lib.platforms.unix;
|
|
|
|
};
|
2004-01-24 23:50:47 +01:00
|
|
|
}
|