summary refs log blame commit diff
path: root/pkgs/development/ocaml-modules/ff/default.nix
blob: 2a51b377e883217dc6f15e9989cba99ef3fc9c4c (plain) (tree)































                                                                    
{ lib, fetchFromGitLab, buildDunePackage, zarith, alcotest }:

buildDunePackage rec {
  pname = "ff";
  version = "0.4.0";

  src = fetchFromGitLab {
    owner = "dannywillems";
    repo = "ocaml-ff";
    rev = version;
    sha256 = "1ik29srzkd0pl48p1si9p1c4f8vmx5rgm02yv2arj3vg0a1nfhdv";
  };

  useDune2 = true;

  propagatedBuildInputs = [
    zarith
  ];

  checkInputs = [
    alcotest
  ];

  doCheck = true;

  meta = {
    homepage = "https://gitlab.com/dannywillems/ocaml-ff";
    description = "OCaml implementation of Finite Field operations";
    license = lib.licenses.mit;
    maintainers = [ lib.maintainers.ulrikstrid ];
  };
}