diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/ff/sig.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/ff/sig.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/ff/sig.nix b/nixpkgs/pkgs/development/ocaml-modules/ff/sig.nix new file mode 100644 index 000000000000..a2c7ca0d0c69 --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/ff/sig.nix @@ -0,0 +1,27 @@ +{ lib, fetchFromGitLab, buildDunePackage, zarith }: + +buildDunePackage rec { + pname = "ff-sig"; + version = "0.6.1"; + src = fetchFromGitLab { + owner = "dannywillems"; + repo = "ocaml-ff"; + rev = version; + sha256 = "0p42ivyfbn1pwm18773y4ga9cm64ysha0rplzvrnhszg01anarc0"; + }; + + useDune2 = true; + + propagatedBuildInputs = [ + zarith + ]; + + doCheck = true; + + meta = { + homepage = "https://gitlab.com/dannywillems/ocaml-ff"; + description = "Minimal finite field signatures"; + license = lib.licenses.mit; + maintainers = [ lib.maintainers.ulrikstrid ]; + }; +} |