sources:
  "4.8.8":
    url: "https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz"
    sha256: "6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff"
patches:
  "4.8.8":
    - patch_file: "patches/0001-cmake-use-conan-mpir.patch"
      base_path: "source_subfolder"
