Directory: /termux/termux-packages-24/pool/main/z/z3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
z3_4.13.0_x86_64.deb12.5 MiB2024-Mar-08 09:09
z3_4.13.0_i686.deb12.8 MiB2024-Mar-08 09:09
z3_4.13.0_arm.deb10.7 MiB2024-Mar-08 09:09
z3_4.13.0_aarch64.deb10.6 MiB2024-Mar-08 09:09