/termux/termux-main/pool/main/z/z3/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
z3_4.16.0_aarch64.deb	11.0 MiB	2026-Feb-19 16:04
z3_4.16.0_arm.deb	11.4 MiB	2026-Feb-19 16:04
z3_4.16.0_i686.deb	13.4 MiB	2026-Feb-19 16:04
z3_4.16.0_x86_64.deb	13.0 MiB	2026-Feb-19 16:04