tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, buildDunePackage, ff-pbt, ff-sig, zarith, alcotest }:
2
3buildDunePackage rec {
4 pname = "ff";
5 inherit (ff-sig) version src;
6 duneVersion = "3";
7
8 propagatedBuildInputs = [
9 ff-sig
10 zarith
11 ];
12
13 checkInputs = [
14 alcotest
15 ff-pbt
16 ];
17
18 doCheck = true;
19
20 meta = ff-sig.meta // {
21 description = "OCaml implementation of Finite Field operations";
22 };
23}