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
   9   checkInputs = [
  10     alcotest
  11   ];
  12
  13   doCheck = true;
  14
  15   propagatedBuildInputs = [
  16     zarith
  17     ff-sig
  18   ];
  19
  20   meta = ff-sig.meta // {
  21     description = "Property based testing library for finite fields over the package ff-sig";
  22   };
  23 }