Skip to content

Instantly share code, notes, and snippets.

@meditans

meditans/z3.nix Secret

Created March 4, 2019 16:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save meditans/2bd2906b0403d8a142f47c906db887fa to your computer and use it in GitHub Desktop.
Save meditans/2bd2906b0403d8a142f47c906db887fa to your computer and use it in GitHub Desktop.
Download ZIP
Raw
z3.nix
# Point to a more recent version of z3 on github (with fixed match bug)
self: super: {
z3 = super.z3.overrideAttrs (oa: {
src = self.fetchFromGitHub {
owner = "Z3Prover";
repo = "z3";
rev = "83f0fd5cc2c16b9e7b216d5dc1b58bd9b0608873";
sha256 = "0fkp6dvvzampfjklymyk2kz7466gh46jwfkl2r8jydd6fbkkgy77";
};
});
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment