blob: 090532b0e7757d98a90d31390a5e325511e9b948 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{
buildDunePackage,
ff-pbt,
ff-sig,
zarith,
alcotest,
}:
buildDunePackage {
pname = "ff";
inherit (ff-sig) version src;
duneVersion = "3";
propagatedBuildInputs = [
ff-sig
zarith
];
checkInputs = [
alcotest
ff-pbt
];
doCheck = true;
meta = ff-sig.meta // {
description = "OCaml implementation of Finite Field operations";
};
}
|
