diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-06-25 13:36:06 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-06-25 13:38:55 +0000 |
| commit | ec81355c8d9f8ee5a31c1e458b8a141a769a71d1 (patch) | |
| tree | a7a1c7dac917116f3294a1cdb7a95008893cf7bd /pkgs/top-level/ocaml-packages.nix | |
| parent | b13fe97f162927c1ee0104a9b05800bfeedbb9fe (diff) | |
| download | nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.tar nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.tar.gz nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.tar.bz2 nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.tar.lz nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.tar.xz nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.tar.zst nixpkgs-ec81355c8d9f8ee5a31c1e458b8a141a769a71d1.zip | |
ocamlPackages.psmt2-frontend: init at 0.1
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 3bb84e7e3a0..6ca593f349f 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -534,6 +534,8 @@ let piqi = callPackage ../development/ocaml-modules/piqi { }; piqi-ocaml = callPackage ../development/ocaml-modules/piqi-ocaml { }; + psmt2-frontend = callPackage ../development/ocaml-modules/psmt2-frontend { }; + psq = callPackage ../development/ocaml-modules/psq { }; ptime = callPackage ../development/ocaml-modules/ptime { }; |