diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-08 03:05:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-08 03:05:02 +0200 |
| commit | 1eeea1f1922fb79a36008ba744310ccbf96130e2 (patch) | |
| tree | c420e9e56acfb908f13d2ab6883ad562f8a0db4a /pkgs/top-level | |
| parent | cbb6abb8025f2d9503700667810a1289d36f5bf2 (diff) | |
| parent | 8460c8b124a00c603ccf1786e1a7d19d58874790 (diff) | |
Merge pull request #220034 from wegank/tlaps-ocaml
tlaps: migrate to OCaml 4.14
Diffstat (limited to 'pkgs/top-level')
| -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 4e545c2a710ba..e4cd4c40b87d8 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -37266,7 +37266,7 @@ with pkgs; jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731 }; tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix { - inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + inherit (ocaml-ng.ocamlPackages_4_14_unsafe_string) ocaml; }; tlaplusToolbox = callPackage ../applications/science/logic/tlaplus/toolbox.nix {}; |