Package: z3
Version: 5.3.0~pre20261015T043137Z
Section: math
Architecture: amd64
Installed-Size: 48400
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3_5.3.0-0~pre20261015T043137Z_amd64.deb
Size: 21333280
SHA256: 75fd196c0dfd07ec94a63f7a446026fdf01900dd624f6cb8f876bd6fb4373394
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:amd64 (= 0:5.3.0~pre20261015T043137Z), python3-z3:amd64 (= 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: amd64
Installed-Size: 371996
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3-dbg_5.3.0-0~pre20261015T043137Z_amd64.deb
Size: 374733222
SHA256: 18c44f19a045a85fb068b5a52547fe3157ae5c123be3b1c88a60ccf81220dbe6
Description: Debug symbols for z3
Depends: z3 (=5.3.0~pre20261015T043137Z)