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

   1 { lib, buildDunePackage, hacl-star-raw, zarith, cppo }:
   2
   3 buildDunePackage {
   4   pname = "hacl-star";
   5
   6   inherit (hacl-star-raw) version src meta doCheck minimalOCamlVersion;
   7
   8   useDune2 = true;
   9
  10   propagatedBuildInputs = [
  11     hacl-star-raw
  12     zarith
  13   ];
  14
  15   nativeBuildInputs = [
  16     cppo
  17   ];
  18
  19   strictDeps = true;
  20 }