2004-09-26 15:03:59 +02:00
|
|
|
{stdenv, fetchurl, unzip} :
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
|
name = "jing-20030619";
|
|
|
|
|
builder = ./unzip-builder.sh;
|
|
|
|
|
|
|
|
|
|
src = fetchurl {
|
2005-02-15 15:44:19 +01:00
|
|
|
url = http://catamaran.labs.cs.uu.nl/dist/tarballs/jing-20030619.zip;
|
2004-09-26 15:03:59 +02:00
|
|
|
md5 = "f9b0775d8740f16ab3df82ad3707a093";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
inherit unzip;
|
|
|
|
|
}
|
