diff options
author | Merlin Göttlinger <megoettlinger@gmail.com> | 2019-08-07 18:48:33 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-07 16:48:33 +0000 |
commit | 1559a3798a29f5aca368aeee6aa1d06223ee0245 (patch) | |
tree | dabe909d67d27ea7202f4e866ecf7407572f5c01 /pkgs/top-level/ocaml-packages.nix | |
parent | 0d4c5dceb0b86d7094fa04e1b5f3bf6587e1fb14 (diff) |
ocaml-sat-solvers: init at 0.4 (#66275)
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 f363d0f1b315..525f417a5b4c 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -519,6 +519,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 { }; |