1{stdenv, fetchurl, jdk, sharedobjects, jjtraveler}:
2
3stdenv.mkDerivation {
4 name = "aterm-java-1.6";
5 src = fetchurl {
6 url = http://www.cwi.nl/projects/MetaEnv/aterm-java/aterm-java-1.6.tar.gz;
7 md5 = "abf475dae2f5efca865fcdff871feb5e";
8 };
9 buildInputs = [stdenv jdk sharedobjects jjtraveler];
10}