diff options
| author | Vladyslav M <dywedir@gra.red> | 2020-05-08 23:22:09 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-08 23:22:09 +0300 |
| commit | d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb (patch) | |
| tree | 4b726673972aff034c0c1a3089443c4256b9503e | |
| parent | effa3742b1f6a1acca09c2723ba8ff57af68b442 (diff) | |
| parent | bac29d647f27cb4bac94563a5fc2a30fdb05b002 (diff) | |
| download | nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.tar nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.tar.gz nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.tar.bz2 nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.tar.lz nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.tar.xz nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.tar.zst nixlib-d72ba9143d6ef3fffd60c39deb585ac6eeb03ecb.zip | |
Merge pull request #87211 from r-ryantm/auto-update/jflex
| -rw-r--r-- | pkgs/development/libraries/java/jflex/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix index 5eb7ef6c0765..d0258d5896be 100644 --- a/pkgs/development/libraries/java/jflex/default.nix +++ b/pkgs/development/libraries/java/jflex/default.nix @@ -1,11 +1,11 @@ {stdenv, fetchurl, jre} : stdenv.mkDerivation rec { - name = "jflex-1.8.1"; + name = "jflex-1.8.2"; src = fetchurl { url = "http://jflex.de/release/${name}.tar.gz"; - sha256 = "0hspw4z1i7wc1dnnyh4xx6ka7891nsw4hc66bf45510gjks6779x"; + sha256 = "1ar7g6zb2xjgnws3j4cqcp86jplhc9av8cpcjdmxw08x6igd5q51"; }; sourceRoot = name; |