Package: z3
Version: 5.3.0~pre20261015T043137Z
Section: math
Architecture: loongson3
Installed-Size: 58156
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3_5.3.0-0~pre20261015T043137Z_loongson3.deb
Size: 21221742
SHA256: 411adc27bb3d5f72bdbf2797bd71bc1f1e0e5472619b3e6a0a92a27046f4f71b
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:mips64el (= 0:5.3.0~pre20261015T043137Z), python3-z3:mips64el (= 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: loongson3
Installed-Size: 376892
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.0/main/z/z3-dbg_5.3.0-0~pre20261015T043137Z_loongson3.deb
Size: 369992590
SHA256: e02e39b3175b98883900bed82eca11048f270909915d4ae17638b022bef7cbf7
Description: Debug symbols for z3
Depends: z3 (=5.3.0~pre20261015T043137Z)