about summary refs log tree commit diff
path: root/pkgs/top-level
diff options
context:
space:
mode:
authorWeijia Wang <9713184+wegank@users.noreply.github.com>2023-03-07 21:50:08 +0200
committerWeijia Wang <9713184+wegank@users.noreply.github.com>2023-03-07 21:50:08 +0200
commit8460c8b124a00c603ccf1786e1a7d19d58874790 (patch)
tree1a26d3b1c9bb5d7d17771549277c24515b5c20de /pkgs/top-level
parentacdc303ed762696c1be266947a0c99bc4db4a9b9 (diff)
tlaps: migrate to OCaml 4.14
Diffstat (limited to 'pkgs/top-level')
-rw-r--r--pkgs/top-level/all-packages.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 387c96dd3d05f..e4c04e33ef002 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -37256,7 +37256,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 {};