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