Unverified Commit 1eeea1f1 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #220034 from wegank/tlaps-ocaml 

tlaps: migrate to OCaml 4.14
parents cbb6abb8 8460c8b1

pkgs/top-level/all-packages.nix

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