diff options
author | Ulrik Strid <ulrik.strid@outlook.com> | 2021-07-19 12:01:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-19 12:01:44 +0200 |
commit | 55d50f19bffde046cd74acb7d6d4bf3a9349edc3 (patch) | |
tree | 304f094d5d13c1f4625a3d1430df4543700d24eb /pkgs/top-level/ocaml-packages.nix | |
parent | 7e2e486bbf84f6ec694bb30085f8faa5ce2a805f (diff) |
ocamlPackages.hacl-star: init at 0.3.2 (#130277)
ocamlPackages.hacl-star-raw: init at 0.3.2
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index d124d388ef9ba..28f8436ea9997 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -417,6 +417,9 @@ let hacl_x25519 = callPackage ../development/ocaml-modules/hacl_x25519 { }; + hacl-star = callPackage ../development/ocaml-modules/hacl-star { }; + hacl-star-raw = callPackage ../development/ocaml-modules/hacl-star/raw.nix { }; + herelib = callPackage ../development/ocaml-modules/herelib { }; hidapi = callPackage ../development/ocaml-modules/hidapi { }; |