diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2017-01-24 17:47:13 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-24 17:47:13 +0000 |
| commit | 89278345c20c14c349c4148efc01d1c900e942c3 (patch) | |
| tree | eda76332fa5bf4d3dd890ed6de647af0da374352 /pkgs/top-level | |
| parent | 359ad7f6c0d533c7f1330dbda0aeec14776daebc (diff) | |
| parent | 939e2d702f494d25a0bbfd788d5c83b59866eb8d (diff) | |
| download | nixlib-89278345c20c14c349c4148efc01d1c900e942c3.tar nixlib-89278345c20c14c349c4148efc01d1c900e942c3.tar.gz nixlib-89278345c20c14c349c4148efc01d1c900e942c3.tar.bz2 nixlib-89278345c20c14c349c4148efc01d1c900e942c3.tar.lz nixlib-89278345c20c14c349c4148efc01d1c900e942c3.tar.xz nixlib-89278345c20c14c349c4148efc01d1c900e942c3.tar.zst nixlib-89278345c20c14c349c4148efc01d1c900e942c3.zip | |
Merge pull request #22023 from vbgl/apron
ocamlPackages.apron: init at 20160125
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 199bc04f9bf4..eb3553f55612 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -20,6 +20,8 @@ let ansiterminal = callPackage ../development/ocaml-modules/ansiterminal { }; + apron = callPackage ../development/ocaml-modules/apron { }; + asn1-combinators = callPackage ../development/ocaml-modules/asn1-combinators { }; astring = callPackage ../development/ocaml-modules/astring { }; @@ -265,6 +267,8 @@ let mlgmp = callPackage ../development/ocaml-modules/mlgmp { }; + mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; + nocrypto = callPackage ../development/ocaml-modules/nocrypto { lwt = ocaml_lwt; }; |