Package: z3
Version: 5.4.1~pre20261112T091827Z
Section: math
Architecture: loongarch64
Installed-Size: 50716
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.4.1/bsp-loongarch64-nosimd/z/z3_5.4.1-0~pre20261112T091827Z_loongarch64.deb
Size: 22063064
SHA256: 2a6ddcddeb0f3a150ab8ee5a3103df721c25414b2bbdd7097d89148b80d2f0b5
Description: Z3 Efficient Theorem Prover
Depends: glibc (>= 1:2.44-1), python-3 (>= 3.14.10)
Provides: libz3-dev:loong64 (= 0:5.4.1~pre20261112T091827Z), libz3-dev:loongarch64 (= 0:5.4.1~pre20261112T091827Z), python3-z3:loongarch64 (= 0:5.4.1~pre20261112T091827Z), python3-z3:loong64 (= 0:5.4.1~pre20261112T091827Z)

Package: z3-dbg
Version: 5.4.1~pre20261112T091827Z
Section: debug
Architecture: loongarch64
Installed-Size: 390908
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.4.1/bsp-loongarch64-nosimd/z/z3-dbg_5.4.1-0~pre20261112T091827Z_loongarch64.deb
Size: 385433938
SHA256: 923f565475e92b92e30f50ee35bab10efef3474d1ad90de85db301ccecc7e6fb
Description: Debug symbols for z3
Depends: z3 (=5.4.1~pre20261112T091827Z)