diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2023-06-29 12:20:38 -0400 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-06-30 06:44:22 +0200 |
commit | 3c614fbc76fc152f3e1bc4b2263da6d90adf80fb (patch) | |
tree | 0548c94755ada4b29972dea9970da4cb58740ea7 /pkgs/top-level | |
parent | b763c20eda8f768909ddafd85a6b7976439f4e3b (diff) |
teyjus: unstable-2019-07-26 -> 2.1.1
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 f996c0c00e13e..4096730ed02c7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16960,7 +16960,9 @@ with pkgs; inherit (darwin.apple_sdk.frameworks) Cocoa Foundation; }; - teyjus = callPackage ../development/compilers/teyjus { }; + teyjus = callPackage ../development/compilers/teyjus { + inherit (ocamlPackages) buildDunePackage; + }; thrust = callPackage ../development/tools/thrust { gconf = gnome2.GConf; |