pkgs/development/ocaml-modules/ff/pbt.nix

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