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 | |
parent | 7e2e486bbf84f6ec694bb30085f8faa5ce2a805f (diff) | |
download | nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.tar nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.tar.gz nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.tar.bz2 nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.tar.lz nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.tar.xz nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.tar.zst nixpkgs-55d50f19bffde046cd74acb7d6d4bf3a9349edc3.zip |
ocamlPackages.hacl-star: init at 0.3.2 (#130277)
ocamlPackages.hacl-star-raw: init at 0.3.2
Diffstat (limited to 'pkgs/top-level')
-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 d124d388ef9..28f8436ea99 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 { }; |