diff options
| author | Nixpkgs Monitor <none@none> | 2013-12-14 04:40:53 +0200 |
|---|---|---|
| committer | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-12-14 04:40:53 +0200 |
| commit | 07d7a5d78672631c202cf6659ff2322e0852f575 (patch) | |
| tree | 48ed8b56f6c752512b995eed38afdf46e2755a62 /pkgs/development/libraries/java/jflex | |
| parent | 537a5d4b7011a4588afb1a7ee80035fca6abb67c (diff) | |
| download | nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.tar nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.tar.gz nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.tar.bz2 nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.tar.lz nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.tar.xz nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.tar.zst nixpkgs-07d7a5d78672631c202cf6659ff2322e0852f575.zip | |
jflex: update from 1.4.1 to 1.4.3
Diffstat (limited to 'pkgs/development/libraries/java/jflex')
| -rw-r--r-- | pkgs/development/libraries/java/jflex/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix index 4d0eda22c5b..5e54e800f55 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.1"; + name = "jflex-1.4.3"; builder = ./builder.sh; src = fetchurl { - url = http://jflex.de/jflex-1.4.1.tar.gz; - md5 = "9e4be6e826e6b344e84c0434d6fd4b46"; + url = http://jflex.de/jflex-1.4.3.tar.gz; + sha256 = "0sm74sgjvw01fsiqr5q9ipbm8rfyihf6yn00dqymhyc3wmbhr517"; }; } |