$NetBSD: distinfo,v 1.6 2022/05/09 09:08:27 jperkin Exp $

BLAKE2s (z3-solver-4.8.9.0.tar.gz) = 4dab8466b7321839504e930daae1d0ef0e3866fbcc73a5e8d457a19bb94a18fb
SHA512 (z3-solver-4.8.9.0.tar.gz) = bc137b505cc24e54e50b1aa3d7ee4161593de17f14198f926beaaf285f210742635f4be22d61456d19688a73f422ca60a24c84eeecf5e783d1dcf26f65a1b8ab
Size (z3-solver-4.8.9.0.tar.gz) = 4503933 bytes
SHA1 (patch-core_scripts_mk__util.py) = 195a122a7b6988a607ab2b66da48c79d183aa50e
SHA1 (patch-core_src_ast_value__generator.cpp) = 7e5a1228b2fa329e14fdc8fc478cc3cffd6c4241
SHA1 (patch-core_src_sat_sat__lookahead.cpp) = 5817853051f6bee34b417f7d699e8c16f51ce405
SHA1 (patch-core_src_sat_sat__solver.cpp) = 3fd36f13cfefd2614f7fb6b83b4e64f8f7eadae0
SHA1 (patch-core_src_sat_smt_ba__solver.cpp) = aad2d3ef2cd0f192bf631bd2e65c4178aa5f2992
SHA1 (patch-core_src_smt_smt__lookahead.cpp) = b17fda39daebd7904768a7f3383eceb59edb6998
SHA1 (patch-core_src_solver_parallel__tactic.cpp) = 4e20b03b9710803c17ddecd3e1a97216c3cd66d4