blob: 5e54e800f55bea39df8b7b3038cb0eaa2fd3f0a1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
{stdenv, fetchurl} :
stdenv.mkDerivation {
name = "jflex-1.4.3";
builder = ./builder.sh;
src = fetchurl {
url = http://jflex.de/jflex-1.4.3.tar.gz;
sha256 = "0sm74sgjvw01fsiqr5q9ipbm8rfyihf6yn00dqymhyc3wmbhr517";
};
}
|