nixpkgs/pkgs/development/libraries/java/jflex/default.nix

{stdenv, fetchurl} :

stdenv.mkDerivation {
  name = "jflex-1.4.1";
  builder = ./builder.sh;

  src = fetchurl {
    url = http://jflex.de/jflex-1.4.1.tar.gz;
    md5 = "9e4be6e826e6b344e84c0434d6fd4b46";
  };
}