blob: 4d9c69ace6198a4f0ad82f4c2fc155608750fee9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{ lib, buildDunePackage, ff-pbt, ff-sig, zarith, alcotest }:
buildDunePackage rec {
pname = "ff";
inherit (ff-sig) version src;
propagatedBuildInputs = [
ff-sig
zarith
];
nativeCheckInputs = [
alcotest
ff-pbt
];
doCheck = true;
meta = ff-sig.meta // {
description = "OCaml implementation of Finite Field operations";
};
}
|