···

       
1
       
1
       
-
       
{ lib, buildDunePackage, fetchurl, benchmark, cstruct

     

       
2
       
2
       
-
       
, alcotest , eqaf, hex, ppx_blob, ppx_deriving_yojson, stdlib-shims, yojson }:

     

       
3
       
3
       
-
       


     

       
4
       
4
       
-
       
buildDunePackage rec {

     

       
5
       
5
       
-
       
  pname = "hacl_x25519";

     

       
6
       
6
       
-
       
  version = "0.2.2";

     

       
7
       
7
       
-
       


     

       
8
       
8
       
-
       
  src = fetchurl {

     

       
9
       
9
       
-
       
    url = "https://github.com/mirage/hacl/releases/download/v${version}/${pname}-v${version}.tbz";

     

       
10
       
10
       
-
       
    sha256 = "sha256-gWdUqOj5c50ObZjO1uULAmoo1ZIyRFxQUaZuQzLMVy0=";

     

       
11
       
11
       
-
       
  };

     

       
12
       
12
       
-
       


     

       
13
       
13
       
-
       
  useDune2 = true;

     

       
14
       
14
       
-
       
  propagatedBuildInputs = [ eqaf cstruct ];

     

       
15
       
15
       
-
       
  checkInputs = [ alcotest benchmark hex ppx_blob ppx_deriving_yojson stdlib-shims yojson ];

     

       
16
       
16
       
-
       
  doCheck = true;

     

       
17
       
17
       
-
       


     

       
18
       
18
       
-
       
  meta = with lib; {

     

       
19
       
19
       
-
       
    description = "Primitives for Elliptic Curve Cryptography taken from Project Everest";

     

       
20
       
20
       
-
       
    homepage = "https://github.com/mirage/hacl";

     

       
21
       
21
       
-
       
    license = licenses.mit;

     

       
22
       
22
       
-
       
    maintainers = with maintainers; [ sternenseemann ];

     

       
23
       
23
       
-
       
  };

     

       
24
       
24
       
-
       
}

     

···

       
502
       
502
       
 
       


     

       
503
       
503
       
 
       
    hack_parallel = callPackage ../development/ocaml-modules/hack_parallel { };

     

       
504
       
504
       
 
       


     

       
505
       
505
       
-
       
    hacl_x25519 = callPackage ../development/ocaml-modules/hacl_x25519 { };

     

       
506
       
506
       
-
       


     

       
507
       
505
       
 
       
    hacl-star = callPackage ../development/ocaml-modules/hacl-star { };

     

       
508
       
506
       
 
       
    hacl-star-raw = callPackage ../development/ocaml-modules/hacl-star/raw.nix { };

     

       
509
       
507