tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, buildDunePackage, zarith, ff-sig, alcotest }:
2
3buildDunePackage {
4 pname = "ff-pbt";
5 inherit (ff-sig) version src;
6
7 minimalOCamlVersion = "4.08";
8 duneVersion = "3";
9
10 checkInputs = [
11 alcotest
12 ];
13
14 doCheck = true;
15
16 propagatedBuildInputs = [
17 zarith
18 ff-sig
19 ];
20
21 meta = ff-sig.meta // {
22 description = "Property based testing library for finite fields over the package ff-sig";
23 };
24}