tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct }:
2
3
4buildDunePackage {
5 pname = "hacl-star";
6
7 inherit (hacl-star-raw) version src meta doCheck minimalOCamlVersion;
8
9 duneVersion = "3";
10
11 propagatedBuildInputs = [
12 hacl-star-raw
13 zarith
14 ];
15
16 nativeBuildInputs = [
17 cppo
18 ];
19
20 checkInputs = [
21 alcotest
22 secp256k1-internal
23 qcheck-core
24 cstruct
25 ];
26}