BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

splint: fix build by using older flex

Browse source
This commit is contained in:
Vladimír Čunát 2014-08-14 18:02:35 +02:00
parent a4e1c7df08
commit 0ad11df7cd
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View file

@ -4141,7 +4141,9 @@ let
spin = callPackage ../development/tools/analysis/spin { };
splint = callPackage ../development/tools/analysis/splint { };
splint = callPackage ../development/tools/analysis/splint {
flex = flex_2_5_35;
};
stm32flash = callPackage ../development/tools/misc/stm32flash { };