diff options
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 1df001895b7..f42b9fd2e33 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -12,6 +12,8 @@ let buildOcaml = callPackage ../build-support/ocaml { }; + buildOasisPackage = callPackage ../build-support/ocaml/oasis.nix { }; + buildDunePackage = callPackage ../build-support/ocaml/dune.nix {}; alcotest = callPackage ../development/ocaml-modules/alcotest {}; @@ -442,10 +444,14 @@ let mezzo = callPackage ../development/compilers/mezzo { }; + minisat = callPackage ../development/ocaml-modules/minisat { }; + mlgmp = callPackage ../development/ocaml-modules/mlgmp { }; mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; + mmap = callPackage ../development/ocaml-modules/mmap { }; + mparser = callPackage ../development/ocaml-modules/mparser { }; mstruct = callPackage ../development/ocaml-modules/mstruct { }; @@ -515,6 +521,8 @@ let pgocaml = callPackage ../development/ocaml-modules/pgocaml {}; + ocaml-sat-solvers = callPackage ../development/ocaml-modules/ocaml-sat-solvers { }; + ocamlscript = callPackage ../development/tools/ocaml/ocamlscript { }; ocamlsdl= callPackage ../development/ocaml-modules/ocamlsdl { }; @@ -571,6 +579,8 @@ let ounit = callPackage ../development/ocaml-modules/ounit { }; + pgsolver = callPackage ../development/ocaml-modules/pgsolver { }; + piqi = callPackage ../development/ocaml-modules/piqi { base64 = base64_2; }; @@ -725,6 +735,8 @@ let stringext = callPackage ../development/ocaml-modules/stringext { }; + tcslib = callPackage ../development/ocaml-modules/tcslib { }; + toml = callPackage ../development/ocaml-modules/toml { }; topkg = callPackage ../development/ocaml-modules/topkg { }; |