Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
717 B · 39 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940{ lib, fetchFromGitHub, buildDunePackage, iter, containers, mdx,}:
buildDunePackage rec { pname = "msat"; version = "0.9.1";
src = fetchFromGitHub { owner = "Gbury"; repo = "mSAT"; rev = "v${version}"; hash = "sha256-ER7ZUejW+Zy3l2HIoFDYbR8iaKMvLZWaeWrOAAYXjG4="; };
propagatedBuildInputs = [ iter ];
postPatch = '' substituteInPlace dune --replace mdx ocaml-mdx '';
doCheck = true; checkInputs = [ containers ]; nativeCheckInputs = [ mdx.bin ];
meta = { description = "Modular sat/smt solver with proof output"; homepage = "https://gbury.github.io/mSAT/"; license = lib.licenses.asl20; maintainers = [ lib.maintainers.vbgl ]; };}