nixpkgs/pkgs/development/ocaml-modules/hacl-star/default.nix
Ulrik Strid 55d50f19bf
ocamlPackages.hacl-star: init at 0.3.2 (#130277)
ocamlPackages.hacl-star-raw: init at 0.3.2
2021-07-19 12:01:44 +02:00

19 lines
290 B
Nix

{ 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
];
}