Package: z3
Version: 5.3.0~pre20261015T043137Z
Section: math
Architecture: loongarch64
Installed-Size: 48248
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3_5.3.0-0~pre20261015T043137Z_loongarch64.deb
Size: 21116194
SHA256: 2c6b1489829eefdb9113465cdbbe04f6805200c69a80fbb8272a9fbd05416351
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:loong64 (= 0:5.3.0~pre20261015T043137Z), libz3-dev:loongarch64 (= 0:5.3.0~pre20261015T043137Z), python3-z3:loongarch64 (= 0:5.3.0~pre20261015T043137Z), python3-z3:loong64 (= 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: loongarch64
Installed-Size: 380128
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3-dbg_5.3.0-0~pre20261015T043137Z_loongarch64.deb
Size: 374883200
SHA256: 1efc9d2f8560fc42574de448728a891880b67f32354e94cef2ea7b400df63474
Description: Debug symbols for z3
Depends: z3 (=5.3.0~pre20261015T043137Z)