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

jflex: use new source url

Browse Source
This commit is contained in:
Guillaume Maudoux 2018-11-18 19:58:13 +01:00 committed by Guillaume Maudoux
parent b586640f55
commit 33326bee7f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,7 +4,7 @@ stdenv.mkDerivation rec {
name = "jflex-1.6.1";
src = fetchurl {
url = "http://jflex.de/${name}.tar.gz";
url = "http://jflex.de/release/${name}.tar.gz";
sha256 = "1h7q2vhb4s42g4pqz5xxxliagprray7i9krr6hyaz1mjlx7gnycq";
};