pkgs/development/ocaml-modules/hacl-star/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{ lib, buildDunePackage, hacl-star-raw, zarith, cppo }:

buildDunePackage {
  pname = "hacl-star";

  inherit (hacl-star-raw) version src meta doCheck minimalOCamlVersion;

  useDune2 = true;

  propagatedBuildInputs = [
    hacl-star-raw
    zarith
  ];

  buildInputs = [
    cppo
  ];
}