diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-01-13 17:46:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-13 17:46:28 +0000 |
commit | a100ed0ae36ddb09b0a4108f4a129d71af56851e (patch) | |
tree | e0c51d7df2d3c40180528ec52259aa1b5e26f913 /pkgs/top-level | |
parent | 4acd2f1a90a75967141255de2107eff3cfb3963c (diff) | |
parent | d40d41ef51cbe82bf98e4d309374706002f50385 (diff) | |
download | nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.tar nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.tar.gz nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.tar.bz2 nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.tar.lz nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.tar.xz nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.tar.zst nixpkgs-a100ed0ae36ddb09b0a4108f4a129d71af56851e.zip |
Merge pull request #33793 from sellout/add/flootty
flootty: init at 3.2.1
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 32004834fe6..f87c7dfeaa2 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7444,7 +7444,7 @@ with pkgs; findbugs = callPackage ../development/tools/analysis/findbugs { }; - foreman = callPackage ../tools/system/foreman { }; + flootty = callPackage ../development/tools/flootty { }; flow = callPackage ../development/tools/analysis/flow { inherit (darwin.apple_sdk.frameworks) CoreServices; @@ -7453,6 +7453,8 @@ with pkgs; wtf8 dtoa; }; + foreman = callPackage ../tools/system/foreman { }; + framac = callPackage ../development/tools/analysis/frama-c { }; frame = callPackage ../development/libraries/frame { }; |