Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
382 B · 29 lines
Nix
123456789101112131415161718192021222324252627282930{ buildDunePackage, ff-pbt, ff-sig, zarith, alcotest,}:
buildDunePackage { pname = "ff"; inherit (ff-sig) version src; duneVersion = "3";
propagatedBuildInputs = [ ff-sig zarith ];
checkInputs = [ alcotest ff-pbt ];
doCheck = true;
meta = ff-sig.meta // { description = "OCaml implementation of Finite Field operations"; };}