Package: z3
Version: 5.3.0~pre20261015T043137Z
Section: math
Architecture: arm64
Installed-Size: 43192
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3_5.3.0-0~pre20261015T043137Z_arm64.deb
Size: 19398496
SHA256: 9e95354628481be24ce0b6f6cf7272005fc9206652d482c40f1f15600fcd3200
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:arm64 (= 0:5.3.0~pre20261015T043137Z), python3-z3:arm64 (= 0:5.3.0~pre20261015T043137Z)
Depends: glibc (>= 1:2.44), python-3 (>= 3.14.8)

Package: z3-dbg
Version: 5.3.0~pre20261015T043137Z
Section: debug
Architecture: arm64
Installed-Size: 373832
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3-dbg_5.3.0-0~pre20261015T043137Z_arm64.deb
Size: 368236048
SHA256: 5b7428d39396d40349b59ecd9548df154fcbfdf124f132479084126c4eaf15d8
Description: Debug symbols for z3
Depends: z3 (=5.3.0~pre20261015T043137Z)