Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
462 B · 39 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940{ buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct,}:
buildDunePackage { pname = "hacl-star";
inherit (hacl-star-raw) version src meta doCheck ;
minimalOCamlVersion = "4.08";
propagatedBuildInputs = [ hacl-star-raw zarith ];
nativeBuildInputs = [ cppo ];
checkInputs = [ alcotest secp256k1-internal qcheck-core cstruct ];}