Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
423 B · 29 lines
Nix
123456789101112131415161718192021222324252627282930{ buildDunePackage, zarith, ff-sig, alcotest,}:
buildDunePackage { pname = "ff-pbt"; inherit (ff-sig) version src;
minimalOCamlVersion = "4.08"; duneVersion = "3";
checkInputs = [ alcotest ];
doCheck = true;
propagatedBuildInputs = [ zarith ff-sig ];
meta = ff-sig.meta // { description = "Property based testing library for finite fields over the package ff-sig"; };}