diff options
| author | Cedric Cellier <rixed@happyleptic.org> | 2019-03-20 12:03:38 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-03-24 19:37:47 +0100 |
| commit | 0206adc56602d30cac13c59d085f2be487b97457 (patch) | |
| tree | 2bd38a3b8edee105093922fedfaeb2f727006f07 /pkgs/top-level/ocaml-packages.nix | |
| parent | 2be90ccb4faa99a2a8d71e21fa7090a3bc89c263 (diff) | |
lacaml: init at 11.0.3
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 46a00b698e34..cf0e942bbed7 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -381,6 +381,8 @@ let labltk = callPackage ../development/ocaml-modules/labltk { }; + lacaml = callPackage ../development/ocaml-modules/lacaml { }; + lambdaTerm-1_6 = callPackage ../development/ocaml-modules/lambda-term/1.6.nix { lwt = lwt2; }; lambdaTerm = if lib.versionOlder "4.02" ocaml.version |