diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-01-10 06:39:00 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-22 08:36:01 +0100 |
| commit | 297eb488f80cb0a16e5c10814868718098a446eb (patch) | |
| tree | 6412b3596e9773d4a331795e93dc1e2c91040896 /pkgs/top-level | |
| parent | 584621996e6fa5f2512ec29854fa2993cb017aa1 (diff) | |
satallax: use OCaml 4.14
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 02bf694077d9e..6713271a60b44 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -39592,7 +39592,9 @@ with pkgs; proverif = callPackage ../applications/science/logic/proverif { }; - satallax = callPackage ../applications/science/logic/satallax { }; + satallax = callPackage ../applications/science/logic/satallax { + inherit (ocaml-ng.ocamlPackages_4_14) ocaml; + }; saw-tools = callPackage ../applications/science/logic/saw-tools { }; |