diff options
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 547050b4f39b..a8b5742aaeb7 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -78,6 +78,8 @@ let bigstring = callPackage ../development/ocaml-modules/bigstring { }; + bindlib = callPackage ../development/ocaml-modules/bindlib { }; + biocaml = callPackage ../development/ocaml-modules/biocaml { }; bistro = callPackage ../development/ocaml-modules/bistro { }; @@ -286,6 +288,8 @@ let decompress = callPackage ../development/ocaml-modules/decompress { }; + dedukti = callPackage ../development/ocaml-modules/dedukti { }; + diet = callPackage ../development/ocaml-modules/diet { }; digestif = callPackage ../development/ocaml-modules/digestif { }; @@ -698,6 +702,8 @@ let ladspa = callPackage ../development/ocaml-modules/ladspa { }; + lambdapi = callPackage ../development/ocaml-modules/lambdapi { }; + lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { }; lambda-term = callPackage ../development/ocaml-modules/lambda-term { }; @@ -1177,6 +1183,8 @@ let ppxlib = callPackage ../development/ocaml-modules/ppxlib { }; + pratter = callPackage ../development/ocaml-modules/pratter { }; + psmt2-frontend = callPackage ../development/ocaml-modules/psmt2-frontend { }; psq = callPackage ../development/ocaml-modules/psq { }; @@ -1227,6 +1235,8 @@ let tcpip = callPackage ../development/ocaml-modules/tcpip { }; + timed = callPackage ../development/ocaml-modules/timed { }; + tiny_httpd = callPackage ../development/ocaml-modules/tiny_httpd { }; tsort = callPackage ../development/ocaml-modules/tsort { }; |