mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-21 19:44:09 +00:00
jflex: update from 1.4.1 to 1.4.3
This commit is contained in:
parent
537a5d4b70
commit
07d7a5d786
@ -1,11 +1,11 @@
|
|||||||
{stdenv, fetchurl} :
|
{stdenv, fetchurl} :
|
||||||
|
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
name = "jflex-1.4.1";
|
name = "jflex-1.4.3";
|
||||||
builder = ./builder.sh;
|
builder = ./builder.sh;
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = http://jflex.de/jflex-1.4.1.tar.gz;
|
url = http://jflex.de/jflex-1.4.3.tar.gz;
|
||||||
md5 = "9e4be6e826e6b344e84c0434d6fd4b46";
|
sha256 = "0sm74sgjvw01fsiqr5q9ipbm8rfyihf6yn00dqymhyc3wmbhr517";
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user