z3test.nix

let
  overlay = self: super: {
    z3 = super.z3.overrideAttrs (oa: {
      src = self.fetchFromGitHub {
        owner = "Z3Prover";
        repo = "z3";
        rev = "z3-4.7.1";
        sha256 = "1s850r6qifwl83zzgvrb5l0jigvmymzpv18ph71hg2bcpk7kjw3d";
      };
    });
  };
in
  { pkgs ? import <nixpkgs> { overlays = [ overlay ]; } }:

  pkgs.mkShell {
    buildInputs = [
      (pkgs.haskell.packages.ghc844.ghcWithPackages (ps: with ps; [ z3 ] ))
    ];
  }