From c867fdf054ce096a85323a6a736ee5c903aa446b Mon Sep 17 00:00:00 2001
From: Martin Bravenboer <martin.bravenboer@logicblox.com>
Date: Sun, 11 Sep 2005 16:55:05 +0000
Subject: [PATCH] Update of jflex

svn path=/nixpkgs/trunk/; revision=3804
---
 pkgs/development/libraries/java/jflex/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix
index b527af14e4b..4d0eda22c5b 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";
   };
 }