repo.or.cz
/
NixPkgs.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
biglybt: 3.5.0.0 -> 3.6.0.0
[NixPkgs.git]
/
pkgs
/
development
/
ocaml-modules
/
hacl-star
/
default.nix
blob
18d3076555849e3def62c76a409aaaa65436aa95
1
{ lib, buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct }:
2
3
4
buildDunePackage {
5
pname = "hacl-star";
6
7
inherit (hacl-star-raw) version src meta doCheck;
8
9
minimalOCamlVersion = "4.08";
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
}