public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.hacl_x25519: init at 0.1.1

Browse Source
This commit is contained in:
sternenseemann 2020-05-12 18:12:31 +02:00 committed by Vincent Laporte
parent 59c9713715
commit bd30d8fca7
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/ocaml-modules/hacl_x25519/default.nix Normal file
View File

@ -0,0 +1,23 @@
{ lib, buildDunePackage, fetchurl, benchmark, cstruct
, eqaf, hex, ppx_blob, ppx_deriving_yojson, stdlib-shims, yojson }:
buildDunePackage rec {
pname = "hacl_x25519";
version = "0.1.1";
src = fetchurl {
url = "https://github.com/mirage/hacl/releases/download/v${version}/${pname}-v${version}.tbz";
sha256 = "187khbx1myh942c2v5f7wbms2hmhmgn57ik25djhnryln32c0874";
};
propagatedBuildInputs = [ eqaf cstruct ];
checkInputs = [ benchmark hex ppx_blob ppx_deriving_yojson stdlib-shims yojson ];
doCheck = true;
meta = with lib; {
description = "Primitives for Elliptic Curve Cryptography taken from Project Everest";
homepage = "https://github.com/mirage/hacl";
license = licenses.mit;
maintainers = with maintainers; [ sternenseemann ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View File

@ -295,6 +295,8 @@ let
inherit (pkgs) gnuplot; inherit (pkgs) gnuplot;
}; };
hacl_x25519 = callPackage ../development/ocaml-modules/hacl_x25519 { };
herelib = callPackage ../development/ocaml-modules/herelib { }; herelib = callPackage ../development/ocaml-modules/herelib { };
higlo = callPackage ../development/ocaml-modules/higlo { }; higlo = callPackage ../development/ocaml-modules/higlo { };