Package: z3
Version: 5.3.3~pre20261106T080618Z
Section: math
Architecture: arm64
Installed-Size: 43996
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.3/main/z/z3_5.3.3-0~pre20261106T080618Z_arm64.deb
Size: 19754028
SHA256: 42a5e44f15fec1649830a428ac4a22346dbbfa14d233e1a7a63691c90e63bf88
Description: Z3 Efficient Theorem Prover
Depends: glibc (>= 1:2.44), python-3 (>= 3.14.10)
Provides: libz3-dev:arm64 (= 0:5.3.3~pre20261106T080618Z), python3-z3:arm64 (= 0:5.3.3~pre20261106T080618Z)

Package: z3-dbg
Version: 5.3.3~pre20261106T080618Z
Section: debug
Architecture: arm64
Installed-Size: 383060
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.3/main/z/z3-dbg_5.3.3-0~pre20261106T080618Z_arm64.deb
Size: 377270826
SHA256: abd974d9cda1802dc4cd5a01b5a5315ec717a8909d7212a62e5f32ac4fe16673
Description: Debug symbols for z3
Depends: z3 (=5.3.3~pre20261106T080618Z)