Commit 8460c8b1 authored by Weijia Wang's avatar Weijia Wang
Browse files

tlaps: migrate to OCaml 4.14

parent acdc303e

pkgs/top-level/all-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -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 {};