diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix index b527af14e4bd..4d0eda22c5bb 100644 --- a/pkgs/development/libraries/java/jflex/default.nix +++ b/pkgs/development/libraries/java/jflex/default.nix @@ -1,11 +1,11 @@ {stdenv, fetchurl} : stdenv.mkDerivation { - name = "jflex-1.4"; + name = "jflex-1.4.1"; builder = ./builder.sh; src = fetchurl { - url = http://jflex.de/jflex-1.4.tar.gz; - md5 = "120cedc76b278a476682edfa6828841f"; + url = http://jflex.de/jflex-1.4.1.tar.gz; + md5 = "9e4be6e826e6b344e84c0434d6fd4b46"; }; }