..
	z3_4.13.0_aarch64.deb	11151920	2024-03-08T01:09:57Z
	z3_4.13.0_arm.deb	11271812	2024-03-08T01:09:57Z
	z3_4.13.0_i686.deb	13427852	2024-03-08T01:09:57Z
	z3_4.13.0_x86_64.deb	13057120	2024-03-08T01:09:57Z