z3-4.7.1.tar.gz SHA1 5e2527a71e4cdb829a240a351b09d80ba42936e6
z3-4.7.1.tar.gz SHA256 a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7
z3-4.7.1.tar.gz MD5 f9e190671d7877f64bf51d1b79900019
