diff options
| author | Jaka Hudoklin <offlinehacker@users.noreply.github.com> | 2017-05-25 01:17:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-25 01:17:56 +0200 |
| commit | fe891e7e109410d5fe02a42fef487c21b88cbf1b (patch) | |
| tree | 885536edb242afc45dae3f49679dbc478cd3ff28 /pkgs/top-level/all-packages.nix | |
| parent | ee8aab13ecec17fbae2e41c97d38f01ef142adc9 (diff) | |
| parent | 27dc2c4926f9935c908ee1700ceb853d99c5918f (diff) | |
| download | nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.tar nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.tar.gz nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.tar.bz2 nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.tar.lz nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.tar.xz nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.tar.zst nixlib-fe891e7e109410d5fe02a42fef487c21b88cbf1b.zip | |
Merge pull request #25989 from frontsideair/flow-46
flow: 0.42.0 -> 0.46.0
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cc71f918d541..1f033de3b8f6 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6718,7 +6718,7 @@ with pkgs; flow = callPackage ../development/tools/analysis/flow { inherit (darwin.apple_sdk.frameworks) CoreServices; inherit (darwin) cf-private; - ocaml = ocaml_4_02; + inherit (ocamlPackages_4_03) ocaml findlib camlp4 sedlex ocamlbuild; }; framac = callPackage ../development/tools/analysis/frama-c { }; |