70a5ea4623ce380b091bb0646a9cd9ae  usr/include/z3++.h
410b2c82cb60876114f6722b49a5f1b1  usr/include/z3.h
eed96a98ccca879c61f29f7590945557  usr/include/z3_algebraic.h
bbda7450d2e8f2333a0655b4baad4942  usr/include/z3_api.h
f3453f709c563f03d747f41c85eabe2d  usr/include/z3_ast_containers.h
3d76b391f3d00fc5ecba31aa2f80f17e  usr/include/z3_fixedpoint.h
2967106c6fc5df56a7208894a7cd1953  usr/include/z3_fpa.h
b135b9b51425ecaf3e03393494cda2a6  usr/include/z3_macros.h
f3a637dd382258b1d1b216c7c842d7df  usr/include/z3_optimization.h
158eba9164719d95da61ead07ca3f48c  usr/include/z3_polynomial.h
832c89329462f994b3d3f402fa706683  usr/include/z3_rcf.h
00c787bc68f664447845ea793ea2f222  usr/include/z3_spacer.h
360f604e9d1489b610ad7b43bebac588  usr/include/z3_v1.h
71461f434a1568ec96841eff19f2606d  usr/include/z3_version.h
fb3ded722d53d2d1250b48ae427b5966  usr/lib/x86_64-linux-gnu/pkgconfig/z3.pc
af95ec4c3202ff8b6ed3423963153a32  usr/share/doc/libz3-dev/changelog.Debian.gz
05838adfc4d1df5ed31c2645e0d8b59e  usr/share/doc/libz3-dev/changelog.gz
e803a46feb27e4b26c5f7f4886e92982  usr/share/doc/libz3-dev/copyright