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