Package: z3
Version: 5.4.1~pre20261112T091827Z
Section: math
Architecture: arm64
Installed-Size: 44380
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.4.1/main/z/z3_5.4.1-0~pre20261112T091827Z_arm64.deb
Size: 19868718
SHA256: b675569ca68359de169f9daf0df0b5d0e1281e2b3af17f44d0904a2bf0e220b4
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:arm64 (= 0:5.4.1~pre20261112T091827Z), python3-z3:arm64 (= 0:5.4.1~pre20261112T091827Z)
Depends: glibc (>= 1:2.44-1), python-3 (>= 3.14.10)

Package: z3-dbg
Version: 5.4.1~pre20261112T091827Z
Section: debug
Architecture: arm64
Installed-Size: 384276
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.4.1/main/z/z3-dbg_5.4.1-0~pre20261112T091827Z_arm64.deb
Size: 378455588
SHA256: 7fea4955ee3f51b3df7c2929bcb62c70b07f46ecd3c49216ba83333dfc120841
Description: Debug symbols for z3
Depends: z3 (=5.4.1~pre20261112T091827Z)