repo.or.cz
/
NixPkgs.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
fblog: 4.4.0 -> 4.5.0
[NixPkgs.git]
/
pkgs
/
development
/
ocaml-modules
/
ff
/
default.nix
blob
bffec212b93e3897716da09ecb5791cbd979089a
1
{ lib, buildDunePackage, ff-pbt, ff-sig, zarith, alcotest }:
2
3
buildDunePackage 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
}