..
	z3_4.13.3_aarch64.deb	11142032	2024-10-11T06:38:43Z
	z3_4.13.3_arm.deb	11510964	2024-10-11T06:38:43Z
	z3_4.13.3_i686.deb	13615912	2024-10-11T06:38:43Z
	z3_4.13.3_x86_64.deb	13231104	2024-10-11T06:38:43Z