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

Package: z3-dbg
Version: 5.3.3~pre20261106T080618Z
Section: debug
Architecture: amd64
Installed-Size: 381084
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.3/main/z/z3-dbg_5.3.3-0~pre20261106T080618Z_amd64.deb
Size: 383913230
SHA256: 04514e3d58b7a68c7f1ec6179d4c462a3d132fdc4f3798b2db20b7a8a91d2c92
Description: Debug symbols for z3
Depends: z3 (=5.3.3~pre20261106T080618Z)