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

Package: z3-dbg
Version: 5.3.0~pre20261015T043137Z
Section: debug
Architecture: ppc64el
Installed-Size: 378544
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3-dbg_5.3.0-0~pre20261015T043137Z_ppc64el.deb
Size: 373186002
SHA256: 89970ab0da27c8330ed7033235ba9e1e0ee50912603d2624ca94c90e93ac9892
Description: Debug symbols for z3
Depends: z3 (=5.3.0~pre20261015T043137Z)