JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #87211 from r-ryantm/auto-update/jflex

Browse Source
This commit is contained in:
Vladyslav M 2020-05-08 23:22:09 +03:00 committed by GitHub
commit d72ba9143d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/libraries/java/jflex/default.nix
View File

@ -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;